KC
Kai Chen
On Valency
published · living versionsW_9czab84t·v1 · currentpublished
Scaling Mathematical Proof Supervision from Structured Textbooks
with Youqing Fang, Zhouqi Hua, Yinhao Tang, Yuzhe Gu +5
1 version
Preprints & journals
We couldn't confidently link this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.