Thomas Zhu's picture

3 5 5

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

authored a paper about 2 months ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

upvoted a paper 2 months ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

liked a dataset 3 months ago

l3lab/lean-premises

View all activity

Organizations

liked a dataset 3 months ago

l3lab/lean-premises

Updated May 21, 2025 • 9 • 2

liked a dataset 6 months ago

futurex-ai/Futurex-Online

Viewer • Updated 14 days ago • 82 • 288 • 14

liked a model 6 months ago

deepseek-ai/DeepSeek-V3.1-Base

Text Generation • Updated Aug 26, 2025 • 19.5k • 1.01k

liked a dataset 8 months ago

l3lab/miniCTX-v2

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

liked a dataset over 1 year ago

l3lab/miniCTX

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