content/community/logic-group.md

@@ -15,12 +15,6 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic-
 
 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)
 
 02/08/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/)

content/publications.md

@@ -8,15 +8,10 @@ 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 late 2023
+- Paper to appear in EPTCS late 2023 | Slides to appear in August 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