Author
Lingkai Kong
Papers that credit Lingkai Kong in their source bylines. Matching names may refer to different researchers.
2 results
Models can learn from textbooks while proving unfamiliar math
A textbook study method raised proof accuracy over fixed retrieval, while transfer remained uneven across tasks.
A textbook-based corpus links math proofs and chapters
A textbook-derived proof corpus preserves chapter and proof links; tests find gains in training averages and structured retrieval for one model.
