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 1 month ago

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

upvoted a paper about 1 month ago

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

liked a dataset 2 months ago

l3lab/lean-premises

View all activity

Organizations

liked a dataset 2 months ago

l3lab/lean-premises

Updated May 21, 2025 • 5 • 2

liked a dataset 5 months ago

futurex-ai/Futurex-Online

Viewer • Updated 5 days ago • 96 • 437 • 14

liked a model 5 months ago

deepseek-ai/DeepSeek-V3.1-Base

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

liked a dataset 7 months ago

l3lab/miniCTX-v2

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

liked a dataset about 1 year ago

l3lab/miniCTX

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