reasoning verification

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 ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search ACL 2025 Assessing LLM Reasoning Steps via Principal Knowledge Grounding EMNLP 2025 Chain-of-Probe: Examining the Necessity and Accuracy of CoT Step-by-Step NAACL 2025 Collaborative Beam Search: Enhancing LLM Reasoning via Collective Consensus EMNLP 2025 Derailer-Rerailer: Adaptive Verification for Efficient and Reliable Language Model Reasoning 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 LLMSR@XLLM25: SWRV: Empowering Self-Verification of Small Language Models through Step-wise Reasoning and Verification ACL 2025 Logic-Regularized Verifier Elicits Reasoning from LLMs ACL 2025 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 Med-PRM: Medical Reasoning Models with Stepwise, Guideline-verified Process Rewards EMNLP 2025 ProgCo: Program Helps Self-Correction of Large Language Models ACL 2025 Temporal Consistency for LLM Reasoning Process Error Identification EMNLP 2025 VerifiAgent: a Unified Verification Agent in Language Model Reasoning EMNLP 2025 Verifying the Steps of Deductive Reasoning Chains ACL 2025 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 Advancing Process Verification for Large Language Models via Tree-Based Preference Learning EMNLP 2024 AutoPSV: Automated Process-Supervised Verifier NeurIPS 2024 Large Language Models Can Self-Correct with Key Condition Verification EMNLP 2024 LLMs cannot find reasoning errors, but can correct them given the error location ACL 2024 LM2: A Simple Society of Language Models Solves Complex Reasoning EMNLP 2024