Thomas Zhu's picture

3 4 4

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

updated a dataset about 18 hours ago

hanwenzhu/leandojo_data_hammer

published a dataset about 18 hours ago

hanwenzhu/leandojo_data_hammer

updated a model about 18 hours ago

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

View all activity

Organizations

liked a dataset 3 months ago

futurex-ai/Futurex-Online

Viewer • Updated 4 days ago • 82 • 1.09k • 10

liked a model 3 months ago

deepseek-ai/DeepSeek-V3.1-Base

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

liked a dataset 4 months ago

l3lab/miniCTX-v2

Viewer • Updated Jul 22 • 668 • 64 • 3

liked a dataset 12 months ago

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 387 • 3