STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving (arxiv.org) 3 points by heydenberk 1y ago ↗ HN
0 comments
[ 3.7 ms ] story [ 7.7 ms ] threadNo comments yet.