Cite
Notes
Only stored in your browser.
Attribution
STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
arXiv 2025
from 1 papers
Tengyu Ma