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

Added new talks

Browse source
This commit is contained in:
Brandon Rozek 2023-10-31 01:33:26 -04:00
parent 1f7c4ecba8
commit 4e3a2566b3
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file 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/)