Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper
•
2507.23726
•
Published
•
108
Chi Zhang
wellyzhangc
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
22 days ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
liked
a Space
6 months ago
HuggingFaceFW/blogpost-fineweb-v1
liked
a Space
6 months ago
nanotron/ultrascale-playbook
Organizations
None yet
upvoted
a
paper
22 days ago