Program
Day 1
Registration: 8:00 am - 9:00 am (also available throughout the day)
9:00 am - 9:30 am
Opening remarks
9:30 am - 10:30 am
Keynote 1
Speaker: Speaker: Dr. Leora Morgenstern (Principal Scientist, PARC)
Title: Reasoning about deception in the game of Diplomacy: Why both deep learning and symbolic reasoning are necessary
Break: 10:30 am - 11:00 am
11:00 am - 1:00 pm
Session 1: Paper presentations (25-30 min per paper)
Moderator: TBC
Presentations:
A logical re-conception of neural networks: Hamiltonian bitwise part-whole architecture - Prof Richard Granger
Short break
Lifelong Formal Modeling Agents - Jacques Basaldúa
Short break
Combining Foundation Models and Symbolic AI for Automated Assessment and Mitigation of Code Vulnerabilities - Ramesh Bharadwaj and Ilya Parker
Short break
Embedding Constraint Reasoning in Machine Learning to Build Generalist Systems - Yexiang Xue
Lunch: 1:00 pm - 2:30 pm
2:30 pm - 3:30 pm
Keynote 2
Speaker: Dr. Grant Olney Passmore, CEO of Imandra
Title: Proof-Carrying Prose: An Automated Reasoning Approach for the Trustworthy Use of LLMs.
Break: 3:30 pm - 4:00 pm
4:00 pm - 5:00 pm
Keynote 3
Speaker: Prof. Pei Wang, Temple University
Title: Different Understandings of AGI
Reception and networking: 5:00 pm - 6:00 pm
Day 2
Registration, coffee & networking: 8:00 am - 9:00 am
9:00 am - 10:00 am
Keynote 4
Speaker: Dr. Joscha Bach
Break: 10:00 am - 10:30 am
10:30 am - 12:30 pm
Session 2: Paper presentations (25-30 min per paper)
Moderator: TBC
Presentations:
Neural circuits for domain general cognition – a primer on brain-inspired priors - presenter TBC
Short break
Generative Image Model Benchmark for Reasoning and Representation (GIMBRR) - Jascha Achterberg
Short break
Bongard Architecture: Towards Scalable Machine Reasoning - Dmitry Grinberg
Lunch: 12:30 pm - 2:00 pm
2:00 pm - 3:00 pm
Keynote 5
Speaker: Gadi Singer (Head of Emergent AI at Intel Labs)
Break: 3:00 pm - 3:30 pm
3:30 pm - 5:00 pm
Panel 1 Session - Roadmap to Generalist AI
Moderator: TBC
Break: 5:00 pm - 6:00 pm
AAAI Plenary Session: 6:00 - 7:30 pm
Day 3
Coffee & networking: 8:00 am - 9:00 am
9:00 am - 10:00 am
Keynote 6
Speaker: Prof. Irina Rish (Université de Montréal, MILA)
Break: 10:00 am - 10:30 am
10:30 am - 12:00 pm
Panel 2: Closing Discussion Session
Moderator: TBC
12:00 am - 12:30 pm
Closing Remarks
End of the Symposium: 12:30 pm