Automating Formal Verification with Reinforcement Learning and Recursive Inference

Max Tan

Automated formal verification remains challenging for large language models because data for proof assistants and verification-aware languages is scarce, and correctness depends on…