conftrace_

reasoning verification

31 papers

Explore in graph

Co-occurring keywords

large language model (13587) chain-of-thought reasoning (551) question answering (2963) error detection (176) chain-of-thought prompting (313) prompt engineering (1135) mathematical reasoning (407) logical reasoning (310) reasoning capability (99) confidence estimation (167)

Papers

Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs AAAI 2026
Knowledge-to-Verification: Exploring RLVR for LLMs in Knowledge-Intensive Domains ACL 2026
Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier ACL 2026
Temporal Consistency for LLM Reasoning Process Error Identification EMNLP 2025
Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025
ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search ACL 2025
Dyve: Thinking Fast and Slow for Dynamic Process Verification EMNLP 2025
Fine-grained Confidence Estimation for Spurious Correctness Detection in Large Language Models IJCNLP 2025
Med-PRM: Medical Reasoning Models with Stepwise, Guideline-verified Process Rewards EMNLP 2025
Chain-of-Probe: Examining the Necessity and Accuracy of CoT Step-by-Step NAACL 2025
ProgCo: Program Helps Self-Correction of Large Language Models ACL 2025
Derailer-Rerailer: Adaptive Verification for Efficient and Reliable Language Model Reasoning ACL 2025
Verifying the Steps of Deductive Reasoning Chains ACL 2025
LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025
VerifiAgent: a Unified Verification Agent in Language Model Reasoning EMNLP 2025
LLMSR@XLLM25: SWRV: Empowering Self-Verification of Small Language Models through Step-wise Reasoning and Verification ACL 2025
Collaborative Beam Search: Enhancing LLM Reasoning via Collective Consensus EMNLP 2025
Assessing LLM Reasoning Steps via Principal Knowledge Grounding EMNLP 2025
LLMs cannot find reasoning errors, but can correct them given the error location ACL 2024
Advancing Process Verification for Large Language Models via Tree-Based Preference Learning EMNLP 2024
A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains ACL 2024
A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning NAACL 2024
AutoPSV: Automated Process-Supervised Verifier NIPS 2024
Large Language Models Can Self-Correct with Key Condition Verification EMNLP 2024
LM2: A Simple Society of Language Models Solves Complex Reasoning EMNLP 2024