Symbolic Reasoning

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

Latest papers 55

All topics
CardsList
  1. PAA: The Probabilistic Allen Algebra: A Generative and Complete Probabilistic Extension of Allen's Interval Relations

    Sep 17, 2026Julian EggertProbabilistic LogicSymbolic Reasoning

  2. Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach

    Sep 14, 2026Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1Symbolic ReasoningNeurosymbolic Learning

  3. From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning

    Sep 9, 2026Weichen Dai, Rafael Medeiros Cabral, Ziyi Shou +4Visual ReasoningSymbolic Reasoning

  4. An Auditable Symbolic-RAG-Generative AI Architecture for Goal-Oriented Conversation Orchestration

    Sep 7, 2026Ramon Gonzalez, Antonio DiazRetrieval-Augmented GenerationSpoken Dialogue Systems

  5. A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver

    Sep 1, 2026Haobo Ma, Wenlin Zhang, Manuel Israel CázaresAutomated Theorem ProvingSymbolic Reasoning

  6. Reactivating Test-Time Scaling for Plane Geometry Problem Solving

    Aug 31, 2026Xiaoqiang Kang, Shengen Wu, Maizhen Ning +5Spatial Reasoning BenchmarksInference-Time Scaling

  7. SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification

    Aug 9, 2026Wenyao Cui, Huaping Zhang, Yongyi Huang +6CoT FaithfulnessLLM Answer Verification

  8. The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning

    Aug 4, 2026Agnese Chiatti, Michael Cochez, Cristina Cornelio +14Symbolic ReasoningNeuro-Symbolic Reasoning

  9. When Many Answers Are Valid, Voting Fails: Symbolic Verification for Best-of-K Causal Reasoning in LLMs

    Aug 4, 2026Omatharv Bharat Vaidya, Connor Thomas Jerzak, Zayne Rea Sprague +2Self-Consistency DecodingSymbolic Reasoning

  10. Recursive Vision Language Models for General Symbolic Reasoning

    Aug 2, 2026Omid Nejati Manzari, Guillaume Lajoie, Hassan RivazSymbolic ReasoningImplicit Reasoning in Language Models

  11. Recovering Explanations from Transformed Rule-Based Ontologies

    Jul 31, 2026Alex Ivliev, Markus Krötzsch, Maximilian MarxAutomated Theorem ProvingSymbolic Reasoning

  12. Agentic Planning for Symbolic Execution

    Jul 31, 2026Daniel Koh Ji Yang, Yannic Noller, Corina S. Pasareanu +1Symbolic ReasoningStatic Code Analysis

  13. SymStep: Symbolic Step Verification for Logical Reasoning

    Jul 25, 2026Aida Usmanova, Rui Gao, Dilshod Azizov +2Symbolic ReasoningStructured Reasoning

  14. Hybrid MKNF with Classical Negation in the Rule Component

    Jul 23, 2026Arun Raveendran Nair Sheela, Christophe Rey, Florence De GranceyLogical ReasoningSymbolic Reasoning

  15. NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning

    Jul 17, 2026Hui Yang, Jiaoyan Chen, Yiping Song +2Logical ReasoningAbductive Reasoning

  16. Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming

    Jul 5, 2026Vishvesh Bhat, Jay Vaghasiya, Emmanuel Anaya GonzalezSymbolic ReasoningEfficient Language Model Reasoning

  17. G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models

    Jul 2, 2026Timo Bertram, Sidhant Bhavnani, Richard Freinschlag +3Symbolic ReasoningNeuro-Symbolic Reasoning

  18. RusFinChain: A Russian Benchmark for Verifiable Chain-of-Thought Reasoning in Finance with Fuzzy-Aligned Evaluation

    Jul 1, 2026M. K. ArabovLogical ReasoningLLM Evaluation

  19. Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law

    Jun 24, 2026Tiansi Dong, Mateja Jamnik, Pietro LiòLogical ReasoningSymbolic Reasoning

  20. HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs

    Jun 22, 2026Yucheng Wu, Jundong Xu, Mingzhen Ju +4Logical ReasoningLLM Evaluation

  21. DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models

    Jun 17, 2026Patrick Cooper, Alvaro VelasquezLLM EvaluationAbductive Reasoning

  22. A homotopy-type-theoretic generalization of neurosymbolic inference

    Jun 16, 2026Fernando Zhapa-Camacho, Robert HoehndorfSymbolic ReasoningNeuro-Symbolic Reasoning

  23. Exploiting Search in Symbolic Numeric Planning with Patterns

    Jun 15, 2026Matteo Cardellini, Enrico GiunchigliaSymbolic PlanningSymbolic Reasoning

  24. PrologMCP: A Standardized Prolog Tool Interface for LLM Agents

    Jun 12, 2026Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2Logic ProgrammingSymbolic Reasoning