arXiv
Propose, Solve, Verify: Self-Play Through Formal Verification
Alex Wilf; Pranjal Aggarwal; Bryan Parno; Daniel Fried; Louis-Philippe Morency; Paul Pu Liang; Sean Welleck
Jan 9, 2026·09:50·
00:0009:50
About This Paper
Turn any paper into a podcast
ResearchPod turns research papers into podcasts you can actually follow.
Download on the App Store