Image de couverture de livre

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gao, Silin, Bosselut, Antoine, Bengio, Samy, Abbe, Emmanuel
Format:	Preprint
Publié:	2025
Sujets:	Computation and Language Artificial Intelligence Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
par: Chen, Yongchao, et autres
Publié: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
par: Bui, Tuan, et autres
Publié: (2025)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
par: Meijer, Mijntje, et autres
Publié: (2024)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
par: Wu, Siyu, et autres
Publié: (2024)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
par: Hersche, Michael, et autres
Publié: (2024)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
par: Bednarek, Jakub, et autres
Publié: (2024)

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
par: Lee, Seungpil, et autres
Publié: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
par: Aswal, Darpan, et autres
Publié: (2025)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
par: Garrido-Merchán, Eduardo C., et autres
Publié: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
par: Sinha, Sania, et autres
Publié: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
par: Shalyt, Michael, et autres
Publié: (2025)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
par: Buali, Mahdi, et autres
Publié: (2024)

Large Language Models as Mirrors of Societal Moral Standards
par: Papadopoulou, Evi, et autres
Publié: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
par: Wang, Yao, et autres
Publié: (2026)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
par: Yu, Xuanqing, et autres
Publié: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
par: Chen, Michael K.
Publié: (2025)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
par: Leang, Joshua Ong Jun, et autres
Publié: (2024)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
par: Ludäscher, Bertram, et autres
Publié: (2025)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
par: Zhao, Xufeng, et autres
Publié: (2023)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
par: Hao, Yilun, et autres
Publié: (2025)

NePTune: A Neuro-Pythonic Framework for Tunable Compositional Reasoning on Vision-Language
par: Kamali, Danial, et autres
Publié: (2025)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
par: Chen, Yongchao, et autres
Publié: (2025)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
par: Mishra, Suyash
Publié: (2026)

Adaptive Collaboration of Arena-Based Argumentative LLMs for Explainable and Contestable Legal Reasoning
par: Cao, Hoang-Loc, et autres
Publié: (2026)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
par: Falomir, Zoe
Publié: (2026)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
par: Zhang, Meiru, et autres
Publié: (2025)

Cognitive Architectures for Language Agents
par: Sumers, Theodore R., et autres
Publié: (2023)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
par: Habibi, Reza, et autres
Publié: (2026)

Jet Expansions of Residual Computation
par: Chen, Yihong, et autres
Publié: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
par: Luo, Ziyan, et autres
Publié: (2023)

Scalable High-Recall Constraint-Satisfaction-Based Information Retrieval for Clinical Trials Matching
par: Zhou, Cyrus, et autres
Publié: (2026)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
par: Shrager, Jeff
Publié: (2026)

We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning?
par: Qiao, Runqi, et autres
Publié: (2024)

From Words to Worlds: Compositionality for Cognitive Architectures
par: Dhar, Ruchira, et autres
Publié: (2024)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
par: Deng, Zihao, et autres
Publié: (2025)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
par: Un, ChongIn, et autres
Publié: (2025)

Formal Verification of Neural Certificates Done Dynamically
par: Henzinger, Thomas A., et autres
Publié: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
par: Sonna, Belona, et autres
Publié: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
par: Garmaev, Sergei, et autres
Publié: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
par: Rothenfusser, Kaspar
Publié: (2025)