symbolic reasoning

Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective ACL 2025 CodePlan: Unlocking Reasoning Potential in Large Language Models by Scaling Code-form Planning ICLR 2025 CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning EMNLP 2025 CSIRO LT at SemEval-2025 Task 8: Answering Questions over Tabular Data using LLMs SemEval 2025 DecisionFlow: Advancing Large Language Model as Principled Decision Maker EMNLP 2025 Efficient and Rigorous Model-Agnostic Explanations IJCAI 2025 Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection AAAI 2025 Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection (Extended Abstract) IJCAI 2025 Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision EMNLP 2025 Explainable Robot Navigation AAAI 2025 Exploring Backward Reasoning in Large Language Models NAACL 2025 Express What You See: Can Multimodal LLMs Decode Visual Ciphers with Intuitive Semiosis Comprehension? ACL 2025 From Chain to Tree: Refining Chain-like Rules into Tree-like Rules on Knowledge Graphs COLING 2025 From Few to Many: Self-Improving Many-Shot Reasoners Through Iterative Optimization and Generation ICLR 2025 From Objects to Events: Unlocking Complex Visual Understanding in Object Detectors via LLM-guided Symbolic Reasoning ICCV 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 Grammar-Constrained Decoding Makes Large Language Models Better Logical Parsers ACL 2025 GraphEval36K: Benchmarking Coding and Reasoning Capabilities of Large Language Models on Graph Datasets NAACL 2025 H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables NAACL 2025 Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions ACL 2025 Inductive Learning of Logical Theories with LLMs: A Expressivity-graded Analysis AAAI 2025 Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey IJCAI 2025 Integrating Symbolic Reasoning into Neural Generative Models for Design Generation AAAI 2025 KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI ICLR 2025 Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation ICLR 2025