Verify Before You Commit: Towards Faithful Reasoning in LLM Agents via Self-Auditing (2026.acl-long)
Copied to clipboard
| Challenge: | Existing approaches to reasoning faithfulness violate constraints, authors say . a science fantasy series and companion books are among the books . |
| Approach: | They propose a framework that enforces verification over internal belief states within the agent before action commitment, achieving faithful reasoning. |
| Outcome: | The proposed framework improves reasoning faithfulness while preserving competitive end-task performance. |
Similar Papers
Advancing Oversight Reasoning across Languages for Audit Sycophantic Behaviour via X-Agent (2025.emnlp-main)
Copied to clipboard
| Challenge: | Large language models have demonstrated capabilities that are satisfactory to a wide range of users by adapting to their culture and wisdom. |
| Approach: | They propose an Oversight Reasoning framework that audits human–LLM dialogues, reasons about them, captures sycophancy and corrects the final outputs. |
| Outcome: | The proposed framework detects sycophancy, reduces unwarranted agreement and improves cross-turn consistency across different scenarios and languages. |
TrustAgent: Towards Safe and Trustworthy LLM-based Agents (2024.findings-emnlp)
Copied to clipboard
| Challenge: | Existing LLMs are primarily used for simple text-related tasks, but LLM-based agents can undertake more complex tasks that require planning and interaction with the physical world and humans. |
| Approach: | They propose an Agent-Constitution-based agent framework with a particular focus on improving the LLM-based agents' safety. |
| Outcome: | The proposed framework can enhance an LLM agent’s safety across multiple domains by identifying and mitigating potential dangers during the planning process. |
Drift: Enhancing LLM Faithfulness in Rationale Generation via Dual-Reward Probabilistic Inference (2025.acl-long)
Copied to clipboard
| Challenge: | Existing approaches to improving LLM faithfulness rely on superficial calibration methods or costly retraining. |
| Approach: | They propose a probabilistic inference paradigm that leverages task-specific and lookahead rewards to ensure that LLM-generated rationales are more faithful to model decisions. |
| Outcome: | The proposed model improves both accuracy and faithfulness of Large Language Models (LLMs) on three reasoning tasks. |
Training Turn-by-Turn Verifiers for Dialogue Tutoring Agents: The Curious Case of LLMs as Your Coding Tutors (2025.findings-acl)
Copied to clipboard
| Challenge: | Existing studies have focused on coding tutoring, but their capabilities in guiding users to solve complex tasks remain underexplored. |
| Approach: | They propose a novel agent workflow, Trace-and-Verify, which combines knowledge tracing to estimate a student’s knowledge state and turn-by-turn verification to ensure effective guidance toward task completion. |
| Outcome: | The proposed agent workflow achieves significantly higher success rates than existing tutoring agents. |
Probabilistic Soundness Guarantees in LLM Reasoning Chains (2025.emnlp-main)
Copied to clipboard
| Challenge: | Existing methods for detecting propagated errors in reasoning chains are inadequate . author et al. (2017) show that initial errors propagate and undermine reliability of final conclusion . |
| Approach: | They propose a framework that evaluates each reasoning step based solely on previously-verified premises and provides certified statistical guarantees of its soundness. |
| Outcome: | ARES achieves state-of-the-art performance across four benchmarks and demonstrates superior robustness on very long synthetic reasoning chains. |
Faithful Serum: Mitigating the Faithfulness Gap in Textual Explanations of LLM Decisions via Attribution Guidance (2026.acl-long)
Copied to clipboard
| Challenge: | Prior work has focused on generating convincing rationales that appear to be subjectively faithful, but it remains unclear whether these explanations are epistemic faithful. |
| Approach: | They propose a method that enhances epistemic faithfulness by guiding explanation generation through attention-level interventions, informed by token-level heatmaps. |
| Outcome: | The proposed method significantly improves epistemic faithfulness across multiple models, benchmarks, and prompts. |
Are self-explanations from Large Language Models faithful? (2024.findings-acl)
Copied to clipboard
| Challenge: | Instruction-tuned Large Language Models excel at many tasks and will explain their reasoning, so-called self-explanations. |
| Approach: | They propose to employ self-consistency checks to measure faithfulness to LLMs to determine if they are model-dependent and if their reasoning is convincing and wrong. |
| Outcome: | The proposed measures show that self-explanations are explanation, model, and task-dependent and should not be trusted in general. |
TrustTable: A Neuro-Symbolic Auditing Framework for Faithful Table QA (2026.acl-long)
Copied to clipboard
| Challenge: | Large Language Models (LLMs)-based TableQA models exhibit unfaithful behavior where correct answers are derived through erroneous reasoning paths. |
| Approach: | They propose a neuro-symbolic framework to audit LLM reasoning processes . it enforces factual grounding and ensures logical soundness by verifying reasoning chains . |
| Outcome: | The proposed framework outperforms LLM judges in majority voting and rejection sampling with process supervision. |
Faithful-First Reasoning, Planning, and Acting for Multimodal LLMs (2026.findings-acl)
Copied to clipboard
| Challenge: | Existing efforts to improve task accuracy or enrich COT generation are lacking in multimodal large language models. |
| Approach: | They propose a Faithful-First Reasoning, Planning, and Acting framework that evaluates faithfulness of intermediate reasoning and uses it to plan and execute faithfulness-aware actions during inference. |
| Outcome: | The proposed framework improves perceptual faithfulness by up to 24% over prompt-based and tool-augmented reasoning frameworks without degrading task accuracy. |
PromptKeeper: Safeguarding System Prompts for LLMs (2025.findings-emnlp)
Copied to clipboard
| Challenge: | PromptKeeper is a defense mechanism designed to safeguard system prompts . adversarial and regular queries can exploit LLM vulnerabilities to expose hidden prompts. |
| Approach: | PromptKeeper is a defense mechanism designed to safeguard system prompts . it detects both explicit and subtle leakage and regenerates responses using a dummy prompt . |
| Outcome: | PromptKeeper detects and mitigates side-channel vulnerabilities when prompts are exposed . it regenerates responses using a dummy prompt, ensuring outputs remain indistinguishable from typical interactions . |