Thomas Zhu's picture

3 4 5

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

liked a dataset 13 days ago

l3lab/lean-premises

updated a dataset 23 days ago

hanwenzhu/leandojo_data_hammer

published a dataset 23 days ago

hanwenzhu/leandojo_data_hammer

View all activity

Organizations

hanwenzhu 's datasets 1

hanwenzhu/leandojo_data_hammer

Updated 23 days ago • 28