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

Thomas Zhu

hanwenzhu
Gangtiechipangzi's profile picture allanjie's profile picture qinghua-zhou's profile picture
·
https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

liked a model 13 days ago
deepseek-ai/DeepSeek-V4-Pro
authored a paper 4 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
upvoted a paper 5 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
View all activity

Organizations

ByteDance's profile picture L3 Lab's profile picture