brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-09 10:40:34 -05:00
Code Issues Projects Releases Packages Wiki Activity

Compare commits

base: brozek:6571f8449f6a07538d00b92f40c747b32657f1fb
Branches Tags
brozek:main
...
compare: brozek:4e3a2566b3966378cdfa06e4b884787ee0fc9be4
Branches Tags
brozek:main

2 commits
6571f8449f ... 4e3a2566b3

Author SHA1 Message Date
Brandon Rozek
4e3a2566b3
Added new talks 2023-10-31 01:33:26 -04:00
Brandon Rozek
1f7c4ecba8
New publication 2023-10-30 23:40:14 -04:00
2 changed files with 12 additions and 1 deletions
Show stats Expand all files Collapse all files

6
content/community/logic-group.md
View file

@ -15,6 +15,12 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic-
I presented the following: I presented the following:
10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning"
10/18/2023: Workshop along with James Oswald titled "RAIR Lab Software Overview"
10/4/2023: An original talk on "Syntactic AC Unification"
03/22/2023: Original Tutorial on ["Automated Theorem Proving with TPTP"](https://github.com/Brandon-Rozek/TPTP-Examples) 03/22/2023: Original Tutorial on ["Automated Theorem Proving with TPTP"](https://github.com/Brandon-Rozek/TPTP-Examples)
02/08/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/) 02/08/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/)

7
content/publications.md
View file

@ -8,10 +8,15 @@ aliases:
## Publications ## 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 Parallel Verification of Natural Deduction Proof Graphs
- Authors: James Oswald and *Brandon Rozek* - Authors: James Oswald and *Brandon Rozek*
- Venue: Logical Frameworks and Meta-Languages: Theory and Practice, 2023. - 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/) [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 - Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu