Thomas Zhu's picture

3 4 4

Thomas Zhu

hanwenzhu

·

https://thomaszhu.cn

AI & ML interests

Automated Theorem Proving

Recent Activity

updated a dataset 1 day ago

l3lab/lean-premises

updated a model 1 day ago

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

liked a dataset 1 day ago

futurex-ai/Futurex-Online

View all activity

Organizations

hanwenzhu 's datasets

None public yet