conftrace_

logical correctness

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reasoning verification (2) step-level evaluation (1) step-wise verification (1) symbolic solver (1) large language model (1) stepwise reasoning (1) reasoning chain (1) logic reasoning (1) benchmark dataset (1) chain-of-thought reasoning (1)

Papers

LLMSR@XLLM25: SWRV: Empowering Self-Verification of Small Language Models through Step-wise Reasoning and Verification ACL 2025 A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains ACL 2024