Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper
•
2507.23726
•
Published
•
114
Feier Zhang
Fayer
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 1 month ago
Fayer/BMGQ-MultiHop-Sample
published
a dataset
about 1 month ago
Fayer/BMGQ-MultiHop-Sample
upvoted
a
paper
5 months ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Organizations
None yet
upvoted
a
paper
5 months ago