Psychometric-Based vs. Proof Pass Rate Metrics in Large-Scale Theorem Proving Benchmarks - Assignee Research (Assignee Research, 2026)
Machine-generated literature synthesis. Automated review score: 4.8/10.