List your company

Alpha-law validation on TheoremQA

1.312AlphaGPT-5.2
1.02081.09641.1721.2476Feb 26, 2026

Evaluation results

MethodLinks
GPT-5.2n=7852026.021.3121.310.90498.1
Claude Sonnet 4n=8002026.021.0321.020.65100