Hacker News new | ask | show | jobs
STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving (arxiv.org)
3 points by heydenberk 494 days ago