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

Kefan Dong, Tengyu Ma

Browse the full ICML paper archive.