» Etiket
formal-verification
3 yayınProvensql: İki SQL Sorgusunun Eşdeğerliğini Matematiksel Olarak Kanıtlıyor
Provensql, SQL sorgularının eşdeğerliğini SMT tabanlı kanıtlarla doğrulayan açık kaynak araç; LLM yargıçlardan farklı olarak asla yanlış pozitif vermez.
Agent Control Plane: LLM Önerir, Yetkilendirme Asla Modelde Değil
ACP mimarisi, AI ajanlarında LLM'in önerdiği eylemleri prompt injection'a kapalı bir politika motorunda yetkilendiriyor; kanıtlanabilir ve test edilebilir.
Flare: LLM Tabanlı Teorem Kanıtlamayla MILP Yeniden Formülasyon Doğrulama
FLARE, LLM ajanı ve Lean kanıt asistanını birleştirerek MILP yeniden formülasyonlarını makine tarafından doğrulanabilir şekilde kontrol ediyor.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.com