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