Thomas Zhu

hanwenzhu's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 3 days ago

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

Paper • 2512.17260 • Published 10 days ago • 48

upvoted a paper 6 days ago

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

Paper • 2512.17260 • Published 10 days ago • 48

liked a dataset about 1 month ago

l3lab/lean-premises

Updated May 21 • 714 • 2

updated a dataset about 1 month ago

hanwenzhu/leandojo_data_hammer

Updated Nov 18 • 19

published a dataset about 1 month ago

hanwenzhu/leandojo_data_hammer

Updated Nov 18 • 19

updated a model about 1 month ago

hanwenzhu/leandojo-lean4-retriever-byt5-small-hammer

0.2B • Updated Nov 18 • 3

updated a model 2 months ago

l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2

Updated Jul 4 • 14

updated a dataset 2 months ago

l3lab/lean-premises

Updated May 21 • 714 • 2

liked a dataset 4 months ago

futurex-ai/Futurex-Online

Viewer • Updated 1 day ago • 99 • 2.84k • 12

liked a model 4 months ago

deepseek-ai/DeepSeek-V3.1-Base

Text Generation • 685B • Updated Aug 26 • 6.09k • 1k

authored 2 papers 5 months ago

miniCTX: Neural Theorem Proving with (Long-)Contexts

Paper • 2408.03350 • Published Aug 5, 2024 • 1

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31 • 114

upvoted a paper 5 months ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31 • 114

updated a dataset 5 months ago

l3lab/miniCTX-v2

Viewer • Updated Jul 22 • 668 • 76 • 3

updated a dataset 6 months ago

l3lab/miniCTX-v2-data

Updated Jul 14 • 14

published a dataset 6 months ago

l3lab/miniCTX-v2-data

Updated Jul 14 • 14

upvoted a collection 6 months ago

miniCTX

Collection

miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral) • 8 items • Updated Mar 19 • 2

liked a dataset 6 months ago

l3lab/miniCTX-v2

Viewer • Updated Jul 22 • 668 • 76 • 3

published a model 6 months ago

l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2

Updated Jul 4 • 14

updated a model 7 months ago

hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2

Updated Jun 1 • 2