AI systems now write long and difficult mathematical proofs, and checking their step-by-step validity is becoming a bottleneck. A learned verifier could chec…
机构:NYU
来源:arXiv 2610.17697 | AI4Papers 论文推荐平台