Hugging Face's logo
Thomas Zhu's picture
3 5 5

Thomas Zhu

hanwenzhu
wellyzhangc's profile picture ridger's profile picture allanjie's profile picture
·
https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

authored a paper 3 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
upvoted a paper 6 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
liked a dataset about 1 month ago
l3lab/lean-premises
View all activity

Organizations

ByteDance's profile picture L3 Lab's profile picture