hanwenzhu/leandojo_data_hammer
Updated • 116
Thomas Zhu
hanwenzhu
AI & ML interests
Automated Theorem Proving
Recent Activity
liked a model 6 days ago
deepseek-ai/DeepSeek-V4-Pro authored a paper 4 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience upvoted a paper 4 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperienceOrganizations
