brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-09-19 06:05:14 -04:00
Code Issues Projects Releases Packages Wiki Activity

New publication

Browse source
This commit is contained in:
Brandon Rozek 2023-10-30 23:40:14 -04:00
parent 6571f8449f
commit 1f7c4ecba8
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
content/publications.md
View file

@ -8,10 +8,15 @@ aliases:
## Publications
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
- Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz and Shirin Sohrabi
- Venue: AAAI Conference on Artificial Intelligence, 2024.
- Paper to appear in early 2024 | Poster to appear in early 2024
Parallel Verification of Natural Deduction Proof Graphs
- Authors: James Oswald and *Brandon Rozek*
- Venue: Logical Frameworks and Meta-Languages: Theory and Practice, 2023.
- Paper to appear in EPTCS late 2023 | Slides to appear in August 2023
- Paper to appear in EPTCS late 2023 | Slides to appear in late 2023
[The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01/)
- Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu