1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Tobias Philipp
AI coding agents produce code faster than humans can review it. In our approach, the prover is the judge of whether the code is correct. Under a verifier-driven loop, AI agents wro…