Thomas Zhu's picture

3 4 5

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

liked a dataset 7 days ago

l3lab/lean-premises

updated a dataset 17 days ago

hanwenzhu/leandojo_data_hammer

published a dataset 17 days ago

hanwenzhu/leandojo_data_hammer

View all activity

Organizations

New activity in AI-MO/minif2f_test 7 months ago

Fix mathd_algebra_275

#5 opened 7 months ago by

Fix mathd_algebra_275

#4 opened 7 months ago by

New activity in l3lab/miniCTX 10 months ago

Add validation set

#2 opened 10 months ago by

Add validation set

#2 opened 10 months ago by