Uploaded recently published work

This commit is contained in:
Brandon Rozek 2024-03-27 19:45:42 -04:00
parent 01c62273a5
commit f3a8b80396
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
3 changed files with 28 additions and 3 deletions

View file

@ -8,10 +8,10 @@ aliases:
## Publications
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)
[Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)](/paper/2403.01)
- 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
- [Paper](https://ojs.aaai.org/index.php/AAAI/article/view/30504/32640) | [Poster](/files/research/AAAI_Remote_Poster_Rozek24.pdf)
[Parallel Verification of Natural Deduction Proof Graphs](/paper/2311.01/)
- Authors: James Oswald and *Brandon Rozek*
@ -61,7 +61,7 @@ Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01/)
Efficient Parallel Verification of Natural Deduction Proof Graphs
- Authors: James Oswald and *Brandon Rozek*
- Venue: Rensselaer Computer Science Graduate Poster Session, April 2019.
- Venue: Rensselaer Computer Science Graduate Poster Session, April 2023.
- [Poster](/files/research/PV-Poster.pdf)