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

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

Keynote 2

Speaker: Dr. Grant Olney Passmore, CEO of Imandra

Title: Proof-Carrying Prose: An Automated Reasoning Approach for the Trustworthy Use of LLMs.

Keynote 3

Speaker: Prof. Pei Wang, Temple University

Title: Different Understandings of AGI

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

Keynote 5

Speaker: Gadi Singer (Head of Emergent AI at Intel Labs)

Panel 1 Session - Roadmap to Generalist AI

Moderator: TBC