RESEARCHMonitorWATCHLIST
Vero: Can AI Agents Build Formally Verified Software Repositories?
arXiv cs.LG — Machine Learning
Factual evidence
What the source reports
Researchers introduced Vero, a benchmark for evaluating AI agents on generating implementation code alongside machine-checked formal proofs.
Open source