« Tüm yayınlar

Ajan Kodların Doğruluğunu Kanıtlamak: Diferansiyel Oracle

Diferansiyel oracle ile iki bağımsız uygulama kullanarak kod doğruluğunu sağlamak ve hataları yakalamak üzerine bir inceleme.

Son altı ayda, kendi kendine öğrenerek ajan sistemleri inşa ettim. En gurur verici kısmı, kimsenin gösterdiği değerlendirme katmanı. Kodlama ajanları güvenilir değil; gerçek bir kod tabanına dokunduklarında, gözden geçirme, testler ve regresyonları yakalama gereksinimi doğar. Bu süreçte, iki bağımsız uygulama kullanarak, her ikisinin de aynı kurallara uymasını sağladım. Bu yaklaşım, gerçek hataları yakalamakta etkili oldu.

Bu sentez, kaynağından yapay zeka tarafından üretildi; insan editör ya da elle onay adımı yoktur. Nasıl çalışıyoruz