大模型推理能力

Evaluating the Role of Verifiers in Test-Time Scaling for Legal Reasoning Tasks

Davide Romano, Jonathan Schwarz, Daniele Giofré

机构 * Thomson Reuters（汤姆森·路透） 纠错

专题命中 代码与定理证明 ：reasoning(title)；verifier(abstract)；分类 cs.CL

Comments Accepted to EMNLP - NLLP Workshop

Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning

Ying Su, Mingwen Liu, Zhijiang Guo

机构 * South China University of Technology（华南理工大学） ； Likelihood Lab（Likelihood实验室） ； HKUST(GZ)（香港科技大学（广州）） ； HKUST（香港科技大学） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；planning(abstract)；logical reasoning(abstract)；分类 cs.CL

Comments 15 pages, 2 figures, 11 tables. Accepted by AACL 2025 main conference