Vero: AI Ajanları Formally Doğrulanmış Yazılım Depoları Oluşturabilir mi?
Vero, AI ajanlarının çok modüllü yazılım depolarında uygulama ve kanıt sentezini değerlendiren bir benchmark sunuyor.
AI ajanları, yazılım geliştirmede giderek daha fazla kullanılmakta, ancak üretilen kodun doğruluğu konusunda garanti sunmamaktadır. Vero, çok modüllü kod tabanlarında tutarlı uygulama ve kanıt seçimlerini değerlendiren ilk benchmark'tır. 43 gerçek dünya deposundan alınan örneklerle, Vero yazılımın güvenilirliğini artırmayı hedeflemektedir.