paper_type.json (245B)
1 { 2 "paper_type": "theoretical", 3 "reason": "The paper proves a theoretical separation between verifier-based and verifier-free methods (√H factor scaling) with empirical validation on MATH, making formal analysis the primary contribution." 4 }