Buchumschlag

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ranaldi, Leonardo, Valentino, Marco, Freitas, Andrè
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
von: Ranaldi, Leonardo, et al.
Veröffentlicht: (2024)

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

Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models
von: Ranaldi, Leonardo, et al.
Veröffentlicht: (2024)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
von: Xu, Lei, et al.
Veröffentlicht: (2025)

Empowering Multi-step Reasoning across Languages via Tree-of-Thoughts
von: Ranaldi, Leonardo, et al.
Veröffentlicht: (2023)

Abstract Activation Spaces for Content-Invariant Reasoning in Large Language Models
von: Maraia, Gabriele, et al.
Veröffentlicht: (2026)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
von: Meadows, Jordan, et al.
Veröffentlicht: (2023)

Reasoning with Natural Language Explanations
von: Valentino, Marco, et al.
Veröffentlicht: (2024)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
von: Quan, Xin, et al.
Veröffentlicht: (2025)

Improving Multilingual Retrieval-Augmented Language Models through Dialectic Reasoning Argumentations
von: Ranaldi, Leonardo, et al.
Veröffentlicht: (2025)

Faithful Logical Reasoning via Symbolic Chain-of-Thought
von: Xu, Jundong, et al.
Veröffentlicht: (2024)

Empowering Cross-lingual Abilities of Instruction-tuned Large Language Models by Translation-following demonstrations
von: Ranaldi, Leonardo, et al.
Veröffentlicht: (2023)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
von: Quan, Xin, et al.
Veröffentlicht: (2024)

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
von: Quan, Xin, et al.
Veröffentlicht: (2024)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
von: Meadows, Jordan, et al.
Veröffentlicht: (2023)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
von: Kim, Geonhee, et al.
Veröffentlicht: (2024)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
von: Zhang, Yingji, et al.
Veröffentlicht: (2025)

Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning
von: Nguyen, Phuong Minh, et al.
Veröffentlicht: (2025)

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

Monotonic Reference-Free Refinement for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2026)

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models
von: Rozanova, Julia, et al.
Veröffentlicht: (2023)

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

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

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
von: Wysocka, Magdalena, et al.
Veröffentlicht: (2024)

FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial Reasoning
von: Xie, Zhuohan, et al.
Veröffentlicht: (2025)

Making Reasoning Matter: Measuring and Improving Faithfulness of Chain-of-Thought Reasoning
von: Paul, Debjit, et al.
Veröffentlicht: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs
von: Zhang, Xuan, et al.
Veröffentlicht: (2024)

Efficient Tool Use with Chain-of-Abstraction Reasoning
von: Gao, Silin, et al.
Veröffentlicht: (2024)

Efficient Reasoning via Chain of Unconscious Thought
von: Gong, Ruihan, et al.
Veröffentlicht: (2025)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
von: Jullien, Mael, et al.
Veröffentlicht: (2024)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
von: Valentino, Marco, et al.
Veröffentlicht: (2023)

Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
von: Zhang, Yingji, et al.
Veröffentlicht: (2024)

Abstraction-of-Thought Makes Language Models Better Reasoners
von: Hong, Ruixin, et al.
Veröffentlicht: (2024)

When Large Language Models contradict humans? Large Language Models' Sycophantic Behaviour
von: Ranaldi, Leonardo, et al.
Veröffentlicht: (2023)

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

Protoknowledge Shapes Behaviour of LLMs in Downstream Tasks: Memorization and Generalization with Knowledge Graphs
von: Ranaldi, Federico, et al.
Veröffentlicht: (2025)