Carl Kadie
Microsoft
Beyond Vibe Coding: Formal Verification for AI-Generated Software
Ekim 22, 2026 | 12:30 - 1:30 ÖÖ (UTC) Koordineli Evrensel Zaman
Yapay zeka ve en son teknolojileri kullanmaya başlamaya hazır mısınız? Microsoft Reactor geliştiricilerin, girişimcilerin ve startup''ların yapay zeka teknolojisi ve daha fazlasını geliştirmesine yardımcı olmak için etkinlikler, eğitimler ve topluluk kaynakları sağlar. Bize katılın!
Beyond Vibe Coding: Formal Verification for AI-Generated Software
Ekim 22, 2026 | 12:30 - 1:30 ÖÖ (UTC) Koordineli Evrensel Zaman
Yapay zeka ve en son teknolojileri kullanmaya başlamaya hazır mısınız? Microsoft Reactor geliştiricilerin, girişimcilerin ve startup''ların yapay zeka teknolojisi ve daha fazlasını geliştirmesine yardımcı olmak için etkinlikler, eğitimler ve topluluk kaynakları sağlar. Bize katılın!
Geri dön
Beyond Vibe Coding: Formal Verification for AI-Generated Software
Ekim 22, 2026 | 12:30 - 1:30 ÖÖ (UTC) Koordineli Evrensel Zaman
- Biçimlendir:
Canlı Yayın
Konu: Açık Kaynak
Dil: İngilizce
AI coding agents can now write substantial amounts of open-source software, but generated code still needs more than a plausible implementation and a passing test suite.
In this session, Carl will demonstrate a workflow in which AI writes code, creates a formal specification, and produces a machine-checked proof of correctness. He is applying this approach to RangeSetBlaze, an open-source Rust library, using Lean to state and prove key correctness properties.
The broader idea is language-independent: AI may make formal verification practical for ordinary software development by taking on much of the proof engineering itself. The session will explore what this workflow looks like in practice, where it works, where it breaks down, and how formal proofs can complement testing and code review as AI takes on more of the coding.
Konuşmacılar
İlgili Olaylar
Aşağıdaki olaylar da ilginizi çekebilir. Ziyaret etmeye emin olun Reactor giriş sayfası tüm kullanılabilir olayları görmek için.
-
Open-source databases for modern applications
Open-source databases for modern applications
Biçimlendir:
Canlı Yayın
Konu: Açık Kaynak
Dil: İngilizce
-
-