Dong, K., & Ma, T. (2025). STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving.
Chicago Style (17th ed.) CitationDong, Kefan, and Tengyu Ma. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving. 2025.
MLA (9th ed.) CitationDong, Kefan, and Tengyu Ma. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving. 2025.
Warning: These citations may not always be 100% accurate.