A Case Study in Assuring AI-Written Software.

arXiv:2610.08651v1 Announce Type: cross Abstract: Software-engineering agents can enable people without formal software training to build systems they could not otherwise implement and simultaneously can produce more code than even experts can meaningfully ins