Days 1 and 2 (Wed, Sep 4, and Thu, Sep 5, 2024) will focus on tutorials on selected background knowledge (logical reasoning, neural networks, etc) to help new researchers get into the area, and selected neuro-symbolic approaches and their corresponding software. Day 3 (Wed, Sep 6, 2024) will feature “birds-of-a-feather” guided group discussions centered around a few selected topics. Tentative schedule so far:
(Note that all times are in Eastern Time (ET))
Day 1 - 4th Sept 2024
| Time (ET) |
Topic |
Speaker |
| 9:00 - 9:30 |
Introduction: Neuro-Symbolic AI |
Alexander Gray, Centaur AI Institute; Pranava Madhyastha, City University of London |
| 9:30 - 10:00 |
Tutorial: Taxonomy of Neuro-Symbolic AI |
Henry Kautz, University of Virginia |
| 10:00 - 10:45 |
Tutorial: Logical Reasoning I: Inference |
Alessandra Russo, Imperial College London |
| 10:45 - 11:00 |
break |
|
| 11:00 - 11:45 |
Tutorial: Logical Reasoning II: Learning |
Alessandra Russo, Imperial College London |
| 11:45 - 12:15 |
Talk: LLM-Modulo Frameworks as Compound AI Architectures for Robust Planning (and Reasoning) |
Subbarao Kambhampati, Arizona State University |
| 12:15 - 13:00 |
Tutorial: Abstraction and Reasoning Challenge |
Francois Chollet, Google |
| 13:00 - 13:30 |
break |
|
| 13:30 - 14:30 |
Tutorial: Tensor Product Representations |
Paul Smolensky, Microsoft Research and John Hopkins University |
Day 2 - 5th Sept 2024
| Time (ET) |
Topic |
Speaker |
| 9:00 - 9:30 |
Tutorial: Directions in Neuro-Symbolic Reasoning |
Artur d’Avila Garcez, City University of London |
| 9:30 - 10:30 |
Tutorial: Neuro-Argumentative Learning |
Francesca Toni, Imperial College London |
| 10:30 - 11:00 |
Talk: A Neurosymbolic Meetup of AI and Formal Methods |
Nils Jansen, Ruhr-University Bochum and Radboud University |
| 11:00 - 11:30 |
Talk: How to Train your Neuro-Symbolic Dragon |
Loizos Michael, Open University of Cyprus and CYENS Center of Excellence |
| 11:30 - 12:30 |
Tutorial: Probabilistic Circuits for Neurosymbolic Reasoning for Large Language Models |
Guy Van den Broeck, UCLA |
| 12:30 - 13:00 |
break |
|
| 13:00 - 13:30 |
Talk: Assured Systems, and Highlights from NeuS ‘23 |
Alvaro Velasquez, DARPA |
| 13:30 - 13:40 |
Startup Talk: Can LLMs Really Understand Conversation? |
Kartik Tamaladupula, Symbl.ai |
| 13:40 - 14:50 |
Startup Talk: Building Durable Software with Words |
Fernando Nobre, Durable AI |
| 13:50 - 14:00 |
Startup Talk: Building trustworthy decision intelligence solutions with NeuroSymbolic AI |
Ben Taylor, Rainbird AI |
| 14:00 - 15:00 |
Tutorial: Neuro-Symbolic Theorem Proving with Lean |
Peiyang Song, Caltech |
Day 3 - 6th Sept 2024
| Time (ET) |
Topic |
Speaker |
| 9:00 - 10:00 |
Tutorial: Fact-checking |
Andreas Vlachos, Cambridge University |
| 10:00 - 11:30 |
Birds-of-a-Feather Open Discussion: New Projects/Fund-raising Teaming around Semantic Parsing, Fact-checking, Argumentation, et al. |
Discussion Lead: Alexander Gray, Centaur AI Institute |
| 11:30 - 11:45 |
break |
|
| 11:45 - 13:15 |
Birds-of-a-Feather Open Discussion: New Projects/Fund-raising Teaming around Benchmarks, Safety, Decision Making/Planning, et al. |
Discussion Lead: Pranava Madhyastha, City University of London |
| 13:15 - 13:30 |
break |
|
| 13:30 - 14:30 |
Panel: Neuro-Symbolic AI as a Path to AI Safety and Regulation |
Richard Mallah, Center for AI Risk Management & Alignment and Future of Life Institute; Steve Omohundro, Beneficial AI Research; Benjamin Grosof, DARPA |
| 14:30 - 15:00 |
Talk: LLMs and Causality |
Judea Pearl, UCLA |
| 15:00 - 15:15 |
Wrap-up: Next Steps for Neuro-Symbolic Participation |
Organizers |