Buchumschlag

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leang, Joshua Ong Jun, Gema, Aryo Pradipta, Cohen, Shay B.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Computation and Language Machine Learning Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
von: Zhao, Xufeng, et al.
Veröffentlicht: (2023)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
von: Shalyt, Michael, et al.
Veröffentlicht: (2025)

PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains
von: Leang, Joshua Ong Jun, et al.
Veröffentlicht: (2025)

We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning?
von: Qiao, Runqi, et al.
Veröffentlicht: (2024)

Multi-Operational Mathematical Derivations in Latent Space
von: Valentino, Marco, et al.
Veröffentlicht: (2023)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
von: Chen, Michael K.
Veröffentlicht: (2025)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
von: Labre, Marcelo
Veröffentlicht: (2026)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
von: Gao, Silin, et al.
Veröffentlicht: (2025)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
von: Wang, Yao, et al.
Veröffentlicht: (2026)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning
von: Faiz, Mohd Anwar Jamal
Veröffentlicht: (2025)

Cognitive Architectures for Language Agents
von: Sumers, Theodore R., et al.
Veröffentlicht: (2023)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
von: Habibi, Reza, et al.
Veröffentlicht: (2026)

Jet Expansions of Residual Computation
von: Chen, Yihong, et al.
Veröffentlicht: (2024)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
von: Ariño-Morera, Belén, et al.
Veröffentlicht: (2024)

SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks
von: Kwan, Wai-Chung, et al.
Veröffentlicht: (2026)

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
von: Lee, Seungpil, et al.
Veröffentlicht: (2024)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
von: Hersche, Michael, et al.
Veröffentlicht: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
von: Luo, Ziyan, et al.
Veröffentlicht: (2023)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
von: Buali, Mahdi, et al.
Veröffentlicht: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
von: Aswal, Darpan, et al.
Veröffentlicht: (2025)

Large Language Models as Mirrors of Societal Moral Standards
von: Papadopoulou, Evi, et al.
Veröffentlicht: (2024)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
von: Meijer, Mijntje, et al.
Veröffentlicht: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
von: Garrido-Merchán, Eduardo C., et al.
Veröffentlicht: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
von: Sinha, Sania, et al.
Veröffentlicht: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
von: Wu, Siyu, et al.
Veröffentlicht: (2024)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
von: Bui, Tuan, et al.
Veröffentlicht: (2025)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
von: Yu, Xuanqing, et al.
Veröffentlicht: (2024)

Certified geometric robustness -- Super-DeepG
von: Cohen, Noémie, et al.
Veröffentlicht: (2026)

From Words to Worlds: Compositionality for Cognitive Architectures
von: Dhar, Ruchira, et al.
Veröffentlicht: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
von: Camposampiero, Giacomo, et al.
Veröffentlicht: (2024)

Improving Neural-based Classification with Logical Background Knowledge
von: Ledaguenel, Arthur, et al.
Veröffentlicht: (2024)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
von: Tian, Yuan, et al.
Veröffentlicht: (2025)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
von: Hao, Yilun, et al.
Veröffentlicht: (2025)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
von: Ledaguenel, Arthur, et al.
Veröffentlicht: (2024)

Scalpel vs. Hammer: GRPO Amplifies Existing Capabilities, SFT Replaces Them
von: Rajani, Neel, et al.
Veröffentlicht: (2025)

NePTune: A Neuro-Pythonic Framework for Tunable Compositional Reasoning on Vision-Language
von: Kamali, Danial, et al.
Veröffentlicht: (2025)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
von: Bednarek, Jakub, et al.
Veröffentlicht: (2024)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
von: Mishra, Suyash
Veröffentlicht: (2026)