Welcome to AAAI-MAKE 2026. On this page, you will find the program and the respective starting times—participation is only possible after prior registration.
The AAAI Spring Symposium Series will be held at Hyatt Regency, San Francisco Airport | Burlingame, CA, USA.
- Symposia Location: 1333 Bayshore Highway, Burlingame, CA 94010
- Room for AAAI-MAKE 2026: Name
- Reception: Name
- Plenary: Name
Last update: 2026-02-23
Tuesday, April 7
Opening
9:10 am – 9:30 am
Andreas Martin, AAAI-MAKE chair
Keynote 1
9:30 am – 10:30 am
Chair: Andreas Martin
Peter Clark, Allen Institute for AI (Ai2)
Building Discovery Machines: Systematic Search, Structured Knowledge, and the Outer Loop of Long-Horizon Research Agents
Break
10:30 am – 11:00 am
Session 1: Planning and monitoring
11:00 am – 12:30 pm
Chair: Name
Capacity (incl. 5-min buffer): 3 Full Papers + 1 Position Paper
Bharath Muppasani, Ritirupa Dey, Biplav Srivastava and Vignesh Narayanan
maPO: An Ontology for Multi-Agent Path Finding and Its Usage for Explaining Planner Behaviour (20 min + 5 min buffer)
Benjamin Herd, Jessica Kelly and Reinhard Stolle
Temporal monitoring of agent beliefs under uncertainty with Subjective LTL (20 min + 5 min buffer)
Oscar Lima, Marc Vinci, Martin Günther, Marian Renz, Alexander Sung, Sebastian Stock, Johannes Brust, Lennart Niecksch, Zongyao Yi, Felix Igelbrink, Benjamin Kisliuk, Martin Atzmueller and Joachim Hertzberg
Agentic AI for Robot Control: Flexible but still Fragile (20 min + 5 min buffer)
Sizhe Tang, Yu Li, Mahdi Imani and Tian Lan
Towards Low-Dimensional Search for Mastering Multi-Agent Planning (15 min)
Lunch
12:30 pm – 2:00 pm
Session 2: Planning, learning, human instruction
2:00 pm – 3:30 pm
Chair: Name
Capacity (incl. 5-min buffer): 3 Full Papers + 1 Position Paper
Yayun Tan, Franz Kurfess, Christopher Young and Gary Bloom
Post-Hoc Knowledge Grounding for Verifiable Multi-Agent Search and Rescue Decision Support (20 min + 5 min buffer)
Martin Günther, Felix Igelbrink, Oscar Lima, Lennart Niecksch, Marian Renz and Martin Atzmueller
A Scene Graph Backed Approach to Open Set Semantic Mapping (20 min + 5 min buffer)
Sergei Nirenburg, Marjorie McShane, Sanjay Oruganti, Jesse English and Christian Arndt
LLMs as Knowledge Workers (20 min + 5 min buffer)
Vedant Khandelwal, Hong Yung Yip and Amit Sheth
Toward Neurosymbolic Reinforcement Learning via Editable Specifications (15 min)
Break
3:30 pm – 4:00 pm
Session 3: Evaluation of LLM capabilities
4:00 pm – 5:00 pm
Chair: Name
Capacity (incl. 5-min buffer): 1 Full Paper + 2 Position/Short Papers
Mahnoor Shahid and Hannes Rothe
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems (20 min + 5 min buffer)
Lixing Li
Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game (15 min + 5 min buffer)
Reza Habibi, Darian Lee and Magy Seif El-Nasr
Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation (15 min)
Poster Session
5:00 pm – 5:45 pm
2–4 poster pitches, 5 min each
Reception
6.00 pm – 7:00 pm
Wednesday, April 8
Keynote 2
9:00 am – 10:00 am
Chair: Paulo Shakarian
Zvonimir Rakamaric, Amazon Web Services (AWS)
Title tbd
Session 4: Cultural adaptivity
10:00 am – 10:30 am
Chair: Name
Capacity (incl. 5-min buffer): 1 Short Paper
Cheng-En Tsai, Jane Yung-Jen Hsu and Fanfan Chen
Culturally Adaptive Humor Rewriting: A First-Order Logic Framework Using Large Language Models (15 min)
Break
10:30 am – 11:00 am
Session 5: Quantum ML, chat safety, watermarking, taxonomy
11:00 am – 12:30 pm
Chair: Name
Capacity (incl. 5-min buffer): 3 Full Papers + 1 Position Paper
Syed Rameez Naqvi, Zhengming Ding, Fang Qi, Md Mostafizer Rahman and Lu Peng
Structured Supervision from Quantum Models: Distilling Robustness into Classical Networks (20 min + 5 min buffer)
John Aydin, Biplav Srivastava, Kausik Lakkaraju and Vishal Pallagani
SafeGenChat – A Neuro-Symbolic Approach to Dialogs for Trustworthy Information Retrieval Conversations on Sensitive Topics (20 min + 5 min buffer)
Minghao Li and Neset Tan
SemanticShift: Robust Semantic Watermarking for Large Language Models (20 min + 5 min buffer)
Thomas Schmid
Hybridization Beyond Modularity: A Modern Taxonomy for
Fusion and Duality of Data-driven and Knowledge-based
Artificial Intelligence (15 min)
Lunch
12:30 pm – 2:00 pm
Session 6: Applications in science and engineering
2:00 pm – 3:30 pm
Chair: Name
Capacity (incl. 3-min buffer): 4 Full Papers
Syed Rameez Naqvi, Md Mostafizer Rahman and Lu Peng
De Novo Antibiotic-Like Molecule Design via Descriptor-Guided Patch-Based GANs (20 min + 3 min buffer)
Jenelle Millison, Jennifer Sleeman, Javesh Sood, Alexander Chen, Jay Brett, Caroline Tang, Adeline Hillier and Chace Ashcraft
State Machine Structured Agents for Physical Science Reasoning (20 min + 3 min buffer)
Julien Amblard, Niklas Groll, Matthew Tait, Mark Law, Gürkan Sin and Alessandra Russo
Failure Detection in Chemical Processes using Symbolic Machine Learning: A Case Study on an Ethylene Oxidation (20 min + 3 min buffer)
Chathurangi Shyalik, Utkarshani Jaimini, Cory Henson and Amit Sheth
CausalPulse: An Industrial-Grade Neurosymbolic Multi-Agent Copilot for Causal Diagnostics in Smart Manufacturing (20 min)
Break
3:30 pm – 4:00 pm
Session 7: Explainability
4:00 pm – 5:00 pm
Chair: Name
Capacity (incl. 5-min buffer): 2 Full Papers
Sanjeev Shrestha, Rahul Dubey and Hui Liu
Beyond Linear Surrogates: High-Fidelity Local Explanations for Black-Box Models (20 min + 5 min buffer)
Fang Li
Compositional Function Networks: A High-Performance Alternative to Deep Neural Networks with Built-in Interpretability (20 min)
Plenary Session
6.00 pm – 7:00 pm
Name tbd, representing AAAI-MAKE
Thursday, April 9
Session 8: Content structure of texts
9:00 am – 10:30 am
Chair: Name
Capacity (incl. 5-min buffer): 3 Full Papers
Neset Tan, Niket Tandon, Oyvind Tafjord, Michael Witbrock, Peter Clark and Mark Gahegan
Echoes of Citations: Automated Extraction of Claims from Full Scientific Papers (20 min + 5 min buffer)
Matheus Kunzler Maldaner, Raul Valle, Junsung Kim, Tonuka Sultan, Pranav Bhargava, Matthew Maloni, John Courtney, Hoang Nguyen, Aamogh Sawant, Kristian O’Connor, Stephen Wormald and Damon Woodard
Plato’s Cave: A Human-Centered Research Verification System (20 min + 5 min buffer)
Md Mostafizer Rahman, Ariful Islam Shiplu, Yutaka Watanobe, Syed Rameez Naqvi and Lu Peng
Coupling RNN with LLM: Does Their Integration Improve Highly Order-Sensitive Language Understanding? (20 min)
Break
10:30 am – 11:00 am
Session 9: Content structure of texts
11:00 am – 12:15 pm
Chair: Name
Capacity (incl. 5-min buffer): 2 Full Papers
Md Mostafizer Rahman, Yutaka Watanobe, Syed Rameez Naqvi and Lu Peng
IntuitiveGraphLLM: Intuitive Graph-based Text Representation with Large Language Model (20 min + 5 min buffer)
Boris Galitsky
From argumentation to labeled logic program for LLM verification (20 min)
Closing
12:15 pm – 12:30 pm
Andreas Martin, AAAI-MAKE chair
End of the Symposium
12:30 pm
Presentation Format
Talk durations are scheduled as follows: Full Papers (20 min) and Position/Short Papers (15 min). A 5-minute transition buffer is planned between talks (no buffer after the final talk in a session). Poster pitches are 5 minutes each during the dedicated poster session.
Papers
DO NOT cite, link to, redistribute, or republish AAAI-endorsed preprints. The papers on this website are not the final versions. The final versions will be published later and should be the version used for citations and links.
Registration*
Accepted authors, invited speakers, symposium participants, and other invited attendees must register to participate in the symposia. Please register via the online registration form.
* The Association for the Advancement of Artificial Intelligence (AAAI) is responsible for the overall organization of all the Spring Symposium Series. For any inquiries related to registration, please contact the AAAI at sss@aaai.org.