TL;DR of the paper, generated automatically.

A paper turns university textbooks into proof data for training language models.

• Corpus: 2,118 textbooks become about 380K structured proof records.
• Result: fine-tuning adds 16.7 percentage points to the average score.
• Release: the authors say the dataset is coming soon.