arXiv cs.LG
Vero: Can AI Agents Build Formally Verified Software Repositories?
베로: AI 에이전트가 형식적으로 검증된 소프트웨어 저장소를 구축할 수 있을까?
No write-up yet — this entry is still just the auto-fetched hook. Aaron's own summary (200–500 words) will replace this note once he's written it.