Thomas Zhu's picture

3 5 5

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

authored a paper 9 days ago

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

upvoted a paper 12 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

liked a dataset about 1 month ago

l3lab/lean-premises

Updated May 21, 2025 • 18 • 2

liked a dataset 4 months ago

futurex-ai/Futurex-Online

Viewer • Updated 8 days ago • 99 • 2.41k • 12

liked a model 5 months ago

deepseek-ai/DeepSeek-V3.1-Base

Text Generation • 685B • Updated Aug 26, 2025 • 5.09k • 1k

liked a dataset 6 months ago

l3lab/miniCTX-v2

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

liked a dataset about 1 year ago

l3lab/miniCTX

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