Neuro-Symbolic Reasoning

Follow this topic Ask about this topic

Momentum

11 papers in the last four weeks, up 57% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28

Latest papers 169

All topics

World-State Transformations for Neuro-symbolic Interactive Storytelling
May 23, 2026Santiago Góngora, Luis Chiruzzo, Gonzalo Méndez +1Interactive Storytelling Neuro-Symbolic Reasoning
Facultad de Informática, Universidad Complutense de Madrid, Spain
ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
May 21, 2026Riyaz Ahuja, Tate Rowney, Jeremy Avigad +1LLM Self-Refinement Automated Theorem Proving
Carnegie Mellon University
Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
May 20, 2026Emma LeonhartLogical Reasoning Differentiable Programming
High Quality Embeddings for Horn Logic Reasoning
May 19, 2026Yifan Zhang, Yasir White, Dean Clark +4Logical Reasoning Metric Learning
Lehigh University, Computer Science and Engineering, 113 Research Dr., Bethlehem, PA, 18015 · Los Angeles Pierce College, Computer Science, 6201 Winnetka Ave, Woodland Hills, CA 91367 · Colorado College, Computer Science, 14 E Cache La Poudre St, Colorado Springs, CO 80903
Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
May 18, 2026Samuele Bortolotti, Emanuele Marconato, Andrea Pugnana +2Concept Bottleneck Models Conformal Prediction
Department of Information Engineering and Computer Science, University of Trento, Italy · CIMeC, University of Trento, Rovereto, Italy
NeuSymMS: A Hybrid Neuro-Symbolic Memory System for Persistent, Self-Curating LLM Agents
May 17, 2026Mujahid Sultan, Sri Thuraisamy, Daya RajaratnamLLM Agent Memory Neuro-Symbolic Reasoning
†MLSoft Inc., Toronto, Ontario, Canada · ∗iVedha Corporation, Toronto, Ontario, Canada
Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law
May 15, 2026Parisa Kordjamshidi, Samer Aslan, Madhavan Seshadri +2Data Contamination in Language Models Neuro-Symbolic Reasoning
Bloomberg · Michigan State University
From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
May 14, 2026Ruobing Zuo, Hanrui Zhao, Gaolei He +2Mathematical Reasoning Neuro-Symbolic Reasoning
School of Software Engineering, East China Normal University, Shanghai, China · College of Computer Science and Technology, National University of Defense Technology, Changsha, China · School of Computer and Information Engineering, Henan University, Kaifeng, China
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
May 14, 2026Frederik Schmitt, Matthias Cosler, Niklas Metzger +4Program Synthesis Formal Verification
1CISPA Helmholtz Center for Information Security · 2Technical University of Munich
Logical Grammar Induction via Graph Kolmogorov Complexity: A Neuro-Symbolic Framework for Self-Healing Clinical Data Integrity
May 14, 2026Abolfazl Zarghani, Amir MalekesfandiariHealthcare Neuro-Symbolic Reasoning
Department of Computer Engineering, Ferdowsi University of Mashhad, Mashhad, Iran
Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
May 13, 2026Olivia Peiyu Wang, Leilani H. GilpinLLM Grounding Neuro-Symbolic Reasoning
University of California, Santa Cruz
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
May 13, 2026Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci +1Neural Network Verification Neuro-Symbolic Reasoning
Maynooth University, Maynooth, IE · University of Southampton, Southampton, UK · University of Strathclyde, Glasgow, UK +1
Neurosymbolic Auditing of Natural-Language Software Requirements
May 13, 2026Bethel Hall, William EiersRequirements Engineering Formal Verification
Stevens Institute of Technology
Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
May 11, 2026Ruoran Xu, Haoyu Cheng, Bin Dong +1Symbolic Reasoning Multimodal Reasoning
Xi’an Jiaotong-Liverpool University · Ricoh Software Research Center Beijing Co.,Ltd.
Deep Arguing
May 11, 2026Adam Gould, Francesca ToniNeural Network Interpretability Computational Argumentation
Department of Computing Imperial College London
GuardAD: Safeguarding Autonomous Driving MLLMs via Markovian Safety Logic
May 11, 2026Tianyuan Zhang, Peng Yue, Zihao Peng +8Autonomous Driving LLM Safety
Beihang University · Zhongguancun Laboratory · Peking University
SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
May 11, 2026Sean Feeney, Pooja Rao, Andreas Klappenecker +5AI-Assisted Scientific Research Neuro-Symbolic Reasoning
Department of Computer Science, Texas A&M University, College Station, USA · NVIDIA Corporation, Santa Clara, USA · Computing and Artificial Intelligence Division (CAI-3), Los Alamos National Laboratory, Los Alamos, USA
A neurosymbolic Approach with Epistemic Deep Learning for Hierarchical Image Classification
May 11, 2026Ezel Kilicdere, Shireen Kudukkil Manchingal, Fabio CuzzolinHierarchical Classification Evidential Deep Learning
Datasand IT and Consultancy Ltd. · Institute for AI, Data Analysis and Systems (AIDAS) School of Engineering, Computing and Mathematics, Oxford Brookes University, UK
LLM-Guided Monte Carlo Tree Search over Knowledge Graphs: Composing Mechanistic Explanations for Drug-Disease Pairs
May 10, 2026Rishabh Jakhar, Michel Dumontier, Remzi CelebiLLM Reasoning with Graphs Scientific Discovery
Institute of Data Science, Department of Advanced Computing Sciences, Maastricht University, The Netherlands
GeoSym127K: Scalable Symbolically-verifiable Synthesis for Multimodal Geometric Reasoning
May 10, 2026Jinhao Jing, Zheng Ma, Jinwei Liang +9Mathematical Reasoning Benchmarks Synthetic Data Generation
SenseTime Research · The Chinese University of Hong Kong, Shenzhen · University of California, Los Angeles +3
Lattice Deduction Transformers
May 9, 2026Liam Davis, Leopold Haller, Alberto Alfarano +1Recurrent Transformers Neuro-Symbolic Reasoning
Amherst College · Axiom · Barnard College, Columbia University
Abductive Reasoning with Probabilistic Commonsense
May 8, 2026Joseph Cotnareanu, Chiara Roverato, Han Zhou +3Abductive Reasoning Neuro-Symbolic Reasoning
McGill University · International Laboratory on Learning Systems · Mila - Quebec Artificial Intelligence Institute +1
Tacit Knowledge Extraction via Logic Augmented Generation and Active Inference
May 8, 2026Lorenzo Lamazzi, Aldo Gangemi, Alessio Giberti +4KG Construction Knowledge Representation
CNR - Institute of Cognitive Sciences and Technologies, Bologna, Italy · Department of Philosophy, University of Bologna, Bologna, Italy · MISTER Smart Innovation, Bologna, Italy +1
Neurosymbolic Framework for Concept-Driven Logical Reasoning in Skeleton-Based Human Action Recognition
May 8, 2026Talha Ilyas, Deval Mehta, Zongyuan GeSkeleton-Based Action Recognition Logical Reasoning
Department of ECSE, Faculty of Engineering, Monash University, Australia · Department of DSAI, Faculty of Information Technology, Monash University, Australia · AIM for Health Lab, Faculty of Information Technology, Monash University, Australia
2.5-D Decomposition for LLM-Based Spatial Construction
May 8, 2026Paul Whitten, Li-Jen Chen, Sharath BaddamLLM Planning 3D Spatial Reasoning
Rockwell Automation Mayfield Heights, OH, USA
ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis
May 6, 2026Atharva Naik, Yash Mathur, Prakam +2Symbolic Reasoning LLM-Based Program Synthesis
Carnegie Mellon University · Independent Researcher
UFAL-CUNI at SemEval-2026 Task 11: An Efficient Modular Neuro-symbolic Method for Syllogistic Reasoning
May 6, 2026Ivan Kartáč, Kristýna Onderková, Jan Bronec +3Logical Reasoning Symbolic Reasoning
Institute of Formal and Applied Linguistics, Faculty of Mathematics and Physics, Charles University
A Foundation Model for Zero-Shot Logical Rule Induction
May 6, 2026Yin Jun PhuaZero-Shot Learning Neuro-Symbolic Reasoning
Institute of Science Tokyo
Information Coordination as a Bridge: A Neuro-Symbolic Architecture for Reliable Autonomous Driving Scene Understanding
May 6, 2026Shuo Liu, Lei Shi, Haowen Liu +3Object Hallucination in VLMs Autonomous Driving Perception
School of Computer and Artificial Intelligence, Zhengzhou University, 450001, Zhengzhou, China · School of Cyber Science and Engineering, Zhengzhou University, 450001, Zhengzhou, China · Songshan Laboratory, 450003, Zhengzhou, China
Weakly Supervised Concept Learning for Object-centric Visual Reasoning
May 5, 2026Sparsh Tiwari, Bettina Finzel, Gesina SchwalbeVisual Reasoning Object-Centric Representation Learning
University of Lübeck, Germany · University of Bamberg, Germany · University of Ulm, Germany

May 23, 2026, cs.CLJ/K move · Enter open · S save

World-State Transformations for Neuro-symbolic Interactive Storytelling

Santiago Góngora, Luis Chiruzzo, Gonzalo Méndez, Pablo Gervás

Facultad de Informática, Universidad Complutense de Madrid, Spain

Interactive Storytelling Neuro-Symbolic Reasoning

Open paper AskPDF arXiv

Large Language Models (LLMs) have changed the possibilities of Interactive Storytelling systems that process free-text user input. However, as more of these systems are built, evidence continues to mount regarding the story coherence problems that arise when relying solely on them. Recent research suggests that LLMs can effectively predict state changes within rule-based Interactive Storytelling systems, triggering pre-programmed world-state transformations. In this paper, we conduct an exploratory evaluation of whether such transformations can serve as a catalyst for player expression while aiming to address the incoherence issues typical of purely LLM-based approaches. Building upon a neuro-symbolic architecture, we conducted experiments using an open-source model (Llama 3 70B) and a closed-source model (Gemini 1.5 Flash), with testing conducted in both English and Spanish. Eight participants played two scenarios, carefully designed to assess different evaluation objectives. Our observations suggest that transformations offer a way to maintain world-state consistency while encouraging players to interact creatively through their written inputs.

Momentum

Related topics

Latest papers 169