Researchers introduce CoCo-Prover, which frames program verification as cost-efficient decision-making across interconnected proof obligations rather than chasing single-proof pass rates. The approach uses…

#TheoremProving #ProgramVerification #AIagents #DevTools
https://arxiv.org/abs/2610.09681

Uppsala University (@uu.se) is hiring:
Postdoctoral position in Practically Usable Verification for Numerical Programs

#postdoc #computerscience #programverification