reference. Beyond limited data: Self-play LLM theorem provers with iterative conjecturing and proving [dong2025beyond]

✍️source

@article{dong2025beyond,
 title = {Beyond Limited Data: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving},
 author = {Dong, Kefan and Ma, Tengyu},
 year = {2025},
 url = {https://arxiv.org/abs/2502.00212},
 journal = {arXiv preprint arXiv:2502.00212}
}