Valency Hub
alphaFeedback
PDF

WorksComputer Science

Scaling Mathematical Proof Supervision from Structured Textbooks

Youqing Fang, Zhouqi Hua, Yinhao Tang, Yuzhe Gu, Lingkai Kong

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Views
7
Status
Published
AI contributions
Not recorded for this paper
View details
Machine checks

No machine checks are available from the Hub API for this paper.