Thomas Zhu's picture

3 5 5

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

authored a paper 15 days ago

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

upvoted a paper 18 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 • 16 • 2

liked a dataset 5 months ago

futurex-ai/Futurex-Online

Viewer • Updated 5 days ago • 90 • 533 • 13

liked a model 5 months ago

deepseek-ai/DeepSeek-V3.1-Base

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

liked a dataset 6 months ago

l3lab/miniCTX-v2

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

liked a dataset about 1 year ago

l3lab/miniCTX

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