from Hacker News

STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving

by heydenberk on 2/8/25, 1:26 PM with 0 comments