Symbolic Reasoning

Ask about this topic

Momentum

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

Jul 13Week of Sep 28
View on map

Latest papers 55

All topics
CardsList

  1. EM-NeSy: Expectation Maximization for Neurosymbolic Learning

    Jun 12, 2026Annegret Seibt, Luc De Raedt, Giuseppe MarraSymbolic ReasoningExpectation-Maximization

    Department of Computer Science KU Leuven

  2. SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance

    Jun 8, 2026Hanna Abi Akl, Fabien Gandon, Catherine Faron +1Logical ReasoningSymbolic Reasoning

    Université Côte d’Azur, Inria, CNRS, I3S, Sophia Antipolis, France · Data ScienceTech Institute, Paris, France

  3. Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery

    Jun 7, 2026Syed Rifat Raiyan, Mohsinul Kabir, Hasan Mahmud +2Mathematical Reasoning BenchmarksAutomated Theorem Proving

    Systems and Software Lab (SSL), Department of Computer Science and Engineering, Islamic University of Technology, Gazipur, Bangladesh · Department of Computer Science, University of Manchester, Manchester, United Kingdom

  4. Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair

    Jun 3, 2026Zehua Cheng, Wei Dai, Jiahao Sun +1LLM Self-CorrectionSymbolic Reasoning

    Department of Computer Science, University of Oxford, UK · Institute of Logic and Computation, TU Wien, Austria

  5. AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification

    Jun 2, 2026Yan Wang, Xuguang Ai, Jaisal Patel +7Symbolic ReasoningMulti-Agent Systems

    The Fin AI, USA · Rensselaer Polytechnic Institute, USA · Université de Montréal, Canada +3

  6. AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning

    May 30, 2026Alessio BrunoLLM Answer VerificationSymbolic Reasoning

    Independent researcher

  7. MAVEN: Improving Generalization in Agentic Tool Calling

    May 29, 2026Omkar Ghugarkar, Vishvesh Bhat, Muhammad Ahmed Mohsin +1Logical ReasoningLLM Agent Evaluation

    CoreThink AI, USA · Stanford University, Stanford, CA, USA

  8. Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning

    May 11, 2026Ruoran Xu, Haoyu Cheng, Bin Dong +1Symbolic ReasoningMultimodal Reasoning

    Xi’an Jiaotong-Liverpool University · Ricoh Software Research Center Beijing Co.,Ltd.

  9. DiagnosticIQ: A Benchmark for LLM-Based Industrial Maintenance Action Recommendation from Symbolic Rules

    May 9, 2026Devin Yasith De Silva, Dhaval Patel, Christodoulos Constantinides +7Logical ReasoningLLM Evaluation

    2Rensselaer Polytechnic Institute · 1IBM · 3Independent Contributor

  10. ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis

    May 6, 2026Atharva Naik, Yash Mathur, Prakam +2Symbolic ReasoningLLM-Based Program Synthesis

    Carnegie Mellon University · Independent Researcher

  11. 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 ReasoningSymbolic Reasoning

    Institute of Formal and Applied Linguistics, Faculty of Mathematics and Physics, Charles University

  12. Language Models Refine Mechanical Linkage Designs Through Symbolic Reflection and Modular Optimisation

    Apr 30, 2026João Pedro Gandarela, Thiago Rios, Stefan Menzel +1Mechanism DesignLarge Language Model-Guided Optimization

    Idiap Research Institute, Switzerland · École Polytechnique Fédérale de Lausanne (EPFL), Switzerland · Honda Research Institute Europe, Germany +2

  13. LLM-Flax : Generalizable Robotic Task Planning via Neuro-Symbolic Approaches with Large Language Models

    Apr 29, 2026Seongmin Kim, Daegyu LeeLarge Language Model-Based Robot PlanningSymbolic Planning

    Department of Physical AI Engineering, Jeonbuk National University(JBNU) · Faculty of Department of Advanced Defense Technology and Industry, Jeonbuk National University(JBNU)

  14. Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning

    Apr 25, 2026Akihiro Takemura, Katsumi Inoue, Masaaki NishinoSymbolic ReasoningConstraint Satisfaction

    National Institute of Informatics, Tokyo, Japan · Communication Science Laboratories, NTT, Inc., Japan

  15. To See the Unseen: on the Generalization Ability of Transformers in Symbolic Reasoning

    Apr 23, 2026Nevena Lazić, Liam Fowl, András György +1Logical ReasoningDecoder-Only Language Models

  16. Symbolic Grounding Reveals Representational Bottlenecks in Abstract Visual Reasoning

    Apr 23, 2026Mohit Vaishnav, Tanel TammetLogical ReasoningVisual Reasoning

    Applied Artificial Intelligence Group, Tallinn University of Technology, Estonia 12169 · Kimova AI, Tallinn, Estonia 10113

  17. Efficient Symbolic Computations for Identifying Causal Effects

    Apr 22, 2026Benjamin Hollering, Pratik Misra, Nils SturmaStructural Causal ModelsSymbolic Reasoning

    Max Planck Institute for Mathematics in the Sciences, Germany · Binghamton University, USA · École Polytechnique Fédérale de Lausanne, Switzerland

  18. Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views

    Apr 21, 2026Feihao Fang, My T. Thai, Yuanyuan LeiSymbolic ReasoningNeuro-Symbolic Reasoning

    University of Illinois Urbana-Champaign, Champaign, IL · Computer & Information Science and Engineering, University of Florida, Gainesville, FL

  19. From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS

    Apr 20, 2026Mina Gabriel, Pei WangLogical ReasoningReasoning Evaluation

    Temple University, Philadelphia, PA 19122, USA

  20. FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction

    Apr 20, 2026Adewale Akinfaderin, Nafi DialloLogical ReasoningSymbolic Reasoning

    Amazon Web Services Seattle, WA

  21. Recurrent Reasoning on Symbolic Puzzles with Sequence Models

    Apr 19, 2026Gowrav Mannem, Chowdhury Marzia Mahjabin, Jason Chen +2Symbolic PlanningSymbolic Reasoning

    Algoverse AI Research · Cornell University

  22. Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants

    Apr 17, 2026Sankalp Gilda, Shlok GildaLogical ReasoningAbductive Reasoning

    DeepThought Solutions · Department of Computer Science · University of Florida

  23. Neuro-Symbolic Synergy for World Modeling

    Feb 11, 2026Hongyu Zhao, Siyu Zhou, Haolin Yang +2LLM World ModelsWorld Model Learning

    Department of Computer Science University of Maryland College Park, MD 20742, USA · Faculty of Engineering and IT Australian AI Institute University of Technology Sydney Sydney, Australia · Department of Statistics University of Chicago Chicago, IL 60637, USA +2

  24. Machine learning modularity

    Jan 5, 2026Yi Fan, Vishnu Jejjala, Yang LeiSymbolic Reasoning

    School of Physical Science and Technology, Soochow University, 333 Ganjiang Road, Suzhou 215006, P.R. China · Institute for Advanced Study, Soochow University, 333 Ganjiang Road, Suzhou 215006, P.R. China · Mandelstam Institute for Theoretical Physics, School of Physics and NITheCS, University of the Witwatersrand, Johannesburg 2050, South Africa +1

  25. Training Language Models to Use Prolog as a Tool

    Dec 8, 2025Niklas Mellgren, Peter Schneider-Kamp, Lukas Galke PoechReward HackingLogical Reasoning

    University of Southern Denmark