The MAKE Symposium 2026, is part of the Spring Symposium Series by the Association for the Advancement of Artificial Intelligence (AAAI) and will be held at Hyatt Regency, San Francisco Airport, Burlingame, CA, USA.
- Symposia Location: 1333 Bayshore Highway, Burlingame, CA 94010
Last update: 2026-04-08
Tuesday, April 7
Opening
9:10 am – 9:30 am
Andreas Martin, MAKE chair
Keynote
9:30 am – 10:30 am
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: Andreas Martin
Capacity (incl. 5-min buffer): 3 Full Papers + 1 Position Paper
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 + 5 min buffer)
Bharath Muppasani, Ritirupa Dey, Biplav Srivastava and Vignesh Narayanan
maPO: An Ontology for Multi-Agent Path Finding and Its Usage for Explaining Planner Behaviour (rec)
Lunch
12:30 pm – 2:00 pm
Session 2: Planning, learning, human instruction
2:00 pm – 3:30 pm
Chair: Leilani H. Gilpin
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: Pedro A. Colon-Hernandez
Capacity (incl. 5-min buffer): 2 Position/Short Papers
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 + 5 min buffer)
Reception
6.00 pm – 7:00 pm
Wednesday, April 8
Session 4.1: Cultural adaptivity
9:00 am – 9:30 am
Chair: Andreas Martin
Capacity (incl. 5-min buffer): 1 Short Paper
Cheng-En Tsai, Fanfan Chen, and Jane Yung-jen Hsu
Context-Adaptive Humor Rewriting: A First-Order Logic Framework Using Large Language Models (15 min)
Poster Session
9:30 am – 10:00 am
Chair: Andreas Martin
Short poster pitches, 5 min each
Poster 1: Meng Jiang—Learning and Reasoning for Molecular Inverse Design.
Poster 2: Shunsuke Liu, Kazuma Arii, Katsuma Marumo and Satoshi Kurihara—From Implicit Knowledge to Structured Affordances: Constructing Reusable Affordance Networks from Large Language Models.
Poster 3: Youssef Atallah, Aakash Ahmad and Thomas Schmid—From One-size-fits-all Benchmarking to Use Case-specific Assessment: Exploring Customized Evaluation for Retrieval-augmented Generation.
Session 4.2: Evaluation of LLM capabilities
10:00 am – 10:30 am
Chair: Andreas Martin
Capacity: 1 Full Paper
Mahnoor Shahid and Hannes Rothe
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems (rec)
Break
10:30 am – 11:00 am
Session 5: Quantum ML, chat safety, watermarking, taxonomy
11:00 am – 12:30 pm
Chair: Jane Yung-jen Hsu
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: Yen-Ling Kuo
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)
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 + 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)
Break
3:30 pm – 4:00 pm
Session 7: Explainability
4:00 pm – 5:00 pm
Chair: Reinhard Stolle
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
Jingying Yang, representing MAKE
Thursday, April 9
Session 8: Content structure of texts
9:00 am – 10:30 am
Chair: Thomas Schmid
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: Peter Clark
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, 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 versions 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: https://aaai.org/conference/spring-symposia/sss26
* 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.