Live page · Day archive

Scaling Mathematical Proof Supervision from Structured Textbooks

Read the original at HF Daily Papers

Summary

TOME-Math converts 2,118 textbooks into 380K structured proof records, improving model scores by 16.7 percentage points.

Carried by: HF Daily Papers. First seen: .