▲ 3 pointsSeed-Prover: Deep and Broad Reasoning for Automated Theorem Provingarxiv.orgby jonbaer·1y ago·0 comments·view on hn ↗