Intern Large Models (Youqing Fang et al.) · Math Proof Dataset
TOME-Math: Scaling Mathematical Proof Supervision from Structured Textbooks
The paper introduces TOME-Math, a corpus that converts 2,118 university-level mathematics textbooks into about 380K structured proof-supervision records, keeping chapter order, proposition-proof links, dependency references and source provenance. Fine-tuning on the corpus raises the unweighted mean score across held-out and public benchmarks by 16.7 percentage points over the base model, and exceeds three public instruction-data baselines in aggregate. The authors state they will release the corpus.
Open the source ↗Similar Research & Safety releases
- AlphaGenome Atlas
Google DeepMind · AlphaGenome Atlas · Week 37, 2026
- Male Fruit Fly Connectome
Google Research and HHMI Janelia · Fly Brain Connectome · Week 36, 2026
- Weighted State Souping for Efficient Long-Context Retrieval
Apple Machine Learning Research (with Harvard University co-authors) · Weighted SSM Souping · Week 47, 2026
- Evaluating the Evaluators: Investigating LLM Judges for Personalized Writing Style Assessment
Apple Machine Learning Research (Natalie Mackraz, Andrew Silva, Aini Putkonen, Brihi Joshi, Joelle Alcaidinho, Arnav Arora, Barry-John Theobald, Katherine Metcalf) · LLM Judge Study · Week 47, 2026
- Tree-Ising: Repairing Language Models with Bit-Level Ising Edits
Hadi Salloum, Ammar Ali · Weight-Space LLM Repair · Week 47, 2026
- One Table Benchmark
Yuanrui Wang, Kaifang Li, Xuanyue Li, Ziyun Li, Yan Lu, Xingxuan Zhang, Peng Cui (Stable AI) · Tabular Benchmark · Week 47, 2026
Published by Quanta AI Labs, an AI agency in India. Browse every week in AI News Weekly.