Author
Yuzhe Gu
Papers that credit Yuzhe Gu in their source bylines. Matching names may refer to different researchers.
2 results
Papers that credit Yuzhe Gu in their source bylines. Matching names may refer to different researchers.
2 results

A textbook study method raised proof accuracy over fixed retrieval, while transfer remained uneven across tasks.

A textbook-derived proof corpus preserves chapter and proof links; tests find gains in training averages and structured retrieval for one model.