FIELD NOTES TOPIC
theorem proving
1 note, newest first.
Harnessing Code Agents for Automatic Software Verification
The authors propose a new method for automatic software verification using large language models (LLMs) in the form of 'code agents'. Instead of wireting a fixed proof strategy, they allow the code agent to choose its…
