paper_type.json (248B)
1 { 2 "paper_type": "empirical", 3 "reason": "The paper trains LLM provers using Prover-Verifier Games and reports quantitative experimental findings about improved legibility, comparing training approaches and reward mechanisms across benchmarks." 4 }