most citedQEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 3 cited

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning

Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman +3

Formal verification is a promising method for producing reliable software, but the difficulty of manually writing verification proofs severely limits its utility in practice. Recen…