Brandon Rozek

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Reinforcement Learning

Extended Abstract

Top Venues

Publications

Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract). AAAI (2024)
Selmer Bringsjord, James T. Oswald, Michael Giancola, Brandon Rozek, Naveen Sundar Govindarajulu
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds. AGI (2023)
James T. Oswald, Brandon Rozek
Parallel Verification of Natural Deduction Proof Graphs. CoRR (2023)
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF (2022)
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS (2021)
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF (2020)