Propose, Solve, Verify: Self-Play Through Formal Verification | Alex Wilf; Pranjal Aggarwal; Bryan Parno; Daniel Fried; Louis-Philippe Morency; Paul Pu Liang; Sean Welleck | ResearchPod