Thomas Zhu's picture

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

liked a model 17 days ago

deepseek-ai/DeepSeek-V4-Pro

authored a paper 5 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

liked a model 17 days ago

deepseek-ai/DeepSeek-V4-Pro

Text Generation • 862B • Updated 5 days ago • 2.02M • • 3.84k

liked a dataset 5 months ago

l3lab/lean-premises

Updated May 21, 2025 • 204 • 2

liked a dataset 9 months ago

futurex-ai/Futurex-Online

Viewer • Updated 1 day ago • 68 • 1.93k • 18

liked a model 9 months ago

deepseek-ai/DeepSeek-V3.1-Base

Text Generation • 685B • Updated Aug 26, 2025 • 5.49k • 1.01k

liked a dataset 10 months ago

l3lab/miniCTX-v2

Viewer • Updated Jul 22, 2025 • 668 • 142 • 3

liked a dataset over 1 year ago

l3lab/miniCTX

Viewer • Updated Feb 12, 2025 • 662 • 784 • 3