Copertina

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Quan, Xin, Valentino, Marco, Dennis, Louise A., Freitas, André
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Reasoning with Natural Language Explanations
di: Valentino, Marco, et al.
Pubblicazione: (2024)

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

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

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

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

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

Inference to the Best Explanation in Large Language Models
di: Dalal, Dhairya, et al.
Pubblicazione: (2024)

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

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
di: Zhang, Ziyin, et al.
Pubblicazione: (2025)

Compartmentalised Agentic Reasoning for Clinical NLI
di: Jullien, Maël, et al.
Pubblicazione: (2025)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
di: Zheng, Chuanyang, et al.
Pubblicazione: (2023)

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

Faithfulness Serum: Mitigating the Faithfulness Gap in Textual Explanations of LLM Decisions via Attribution Guidance
di: Alon, Bar, et al.
Pubblicazione: (2026)

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

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

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

Aristotle: IMO-level Automated Theorem Proving
di: Achim, Tudor, et al.
Pubblicazione: (2025)

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

RLMEval: Evaluating Research-Level Neural Theorem Proving
di: Poiroux, Auguste, et al.
Pubblicazione: (2025)

PhysProver: Advancing Automatic Theorem Proving for Physics
di: Zhang, Hanning, et al.
Pubblicazione: (2026)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
di: Chen, Luoxin, et al.
Pubblicazione: (2025)

Local Explanations and Self-Explanations for Assessing Faithfulness in black-box LLMs
di: Fragkathoulas, Christos, et al.
Pubblicazione: (2024)

Steering LLMs for Formal Theorem Proving
di: Kirtania, Shashank, et al.
Pubblicazione: (2025)

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

OProver: A Unified Framework for Agentic Formal Theorem Proving
di: Ma, David, et al.
Pubblicazione: (2026)

Faithfulness and the Notion of Adversarial Sensitivity in NLP Explanations
di: Manna, Supriya, et al.
Pubblicazione: (2024)

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

Learning to Reason with Insight for Informal Theorem Proving
di: Li, Yunhe, et al.
Pubblicazione: (2026)

Verbosity Tradeoffs and the Impact of Scale on the Faithfulness of LLM Self-Explanations
di: Siegel, Noah Y., et al.
Pubblicazione: (2025)

FaithLM: Towards Faithful Explanations for Large Language Models
di: Chuang, Yu-Neng, et al.
Pubblicazione: (2024)

An In-Context Learning Agent for Formal Theorem-Proving
di: Thakur, Amitayush, et al.
Pubblicazione: (2023)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
di: Liu, Chengwu, et al.
Pubblicazione: (2026)

miniCTX: Neural Theorem Proving with (Long-)Contexts
di: Hu, Jiewen, et al.
Pubblicazione: (2024)

Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks
di: Zhang, Yingji, et al.
Pubblicazione: (2023)

The Probabilities Also Matter: A More Faithful Metric for Faithfulness of Free-Text Explanations in Large Language Models
di: Siegel, Noah Y., et al.
Pubblicazione: (2024)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
di: Li, Mukai, et al.
Pubblicazione: (2025)

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

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
di: Petrov, Ivo, et al.
Pubblicazione: (2025)

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