Cover Image

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Lei, Beckmann, Pierre, Valentino, Marco, Freitas, André
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
by: Ranaldi, Leonardo, et al.
Published: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
by: Quan, Xin, et al.
Published: (2025)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
by: Meadows, Jordan, et al.
Published: (2023)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
by: Zhang, Lan, et al.
Published: (2025)

Reasoning with Natural Language Explanations
by: Valentino, Marco, et al.
Published: (2024)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
by: Quan, Xin, et al.
Published: (2024)

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models
by: Rozanova, Julia, et al.
Published: (2023)

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
by: Rozanova, Julia, et al.
Published: (2024)

Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
by: Tan, Xingwei, et al.
Published: (2025)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
by: Thayaparan, Mokanarangan, et al.
Published: (2024)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
by: Ranaldi, Leonardo, et al.
Published: (2024)

Integrating Expert Knowledge into Logical Programs via LLMs
by: Górski, Franciszek, et al.
Published: (2025)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
by: Zhang, Lan, et al.
Published: (2025)

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
by: Quan, Xin, et al.
Published: (2024)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
by: Meadows, Jordan, et al.
Published: (2023)

Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
by: Fang, Feihao, et al.
Published: (2026)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
by: Kim, Geonhee, et al.
Published: (2024)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
by: Zhang, Yingji, et al.
Published: (2025)

Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents
by: Quan, Xin, et al.
Published: (2026)

Faithful Logical Reasoning via Symbolic Chain-of-Thought
by: Xu, Jundong, et al.
Published: (2024)

Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
by: Jullien, Mael, et al.
Published: (2025)

Monotonic Reference-Free Refinement for Autoformalization
by: Zhang, Lan, et al.
Published: (2026)

Is Inference Mediated by Distinct Semantic Structures in LLMs? A Mechanistic Interpretation
by: Aljaafari, Nura, et al.
Published: (2026)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
by: Zhang, Lan, et al.
Published: (2025)

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
by: Wysocka, Magdalena, et al.
Published: (2024)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
by: Quan, Xin, et al.
Published: (2025)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
by: Jullien, Mael, et al.
Published: (2024)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
by: Valentino, Marco, et al.
Published: (2023)

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning
by: Gandarela, João Pedro, et al.
Published: (2025)

ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis
by: Naik, Atharva, et al.
Published: (2026)

Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering
by: Valentino, Marco, et al.
Published: (2025)

Where is the Mind? Persona Vectors and LLM Individuation
by: Beckmann, Pierre, et al.
Published: (2026)

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
by: Li, Qingchuan, et al.
Published: (2025)

LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
by: Xu, Jundong, et al.
Published: (2025)

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
by: Quan, Xin, et al.
Published: (2026)

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
by: Lei, Yuanyuan, et al.
Published: (2024)

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening
by: Zhang, Ming, et al.
Published: (2026)

Adaptive-Solver Framework for Dynamic Strategy Selection in Large Language Model Reasoning
by: Zhou, Jianpeng, et al.
Published: (2023)

A Navigational Approach for Comprehensive RAG via Traversal over Proposition Graphs
by: Delmas, Maxime, et al.
Published: (2026)