conftrace_

mathematical verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

step-wise evaluation (1) forward-backward reasoning (1) forward reasoning (1) answer verification (1) natural language feedback (1) large language model (1) backward reasoning (1) reward model (1) majority voting (1) mathematical reasoning (1)

Papers

LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback ACL 2025 Forward-Backward Reasoning in Large Language Models for Mathematical Verification ACL 2024