Beyond Vibe Coding: Formal Verification for AI-Generated Software

tháng 10 22, 2026 | 12:30 - 1:30 SA (UTC) Giờ phối hợp quốc tế

Bạn đã sẵn sàng bắt đầu với AI và các công nghệ mới nhất chưa? Microsoft Reactor cung cấp các sự kiện, đào tạo và tài nguyên cộng đồng để giúp các nhà phát triển, doanh nhân và công ty khởi nghiệp xây dựng dựa trên công nghệ AI và hơn thế nữa. Tham gia với chúng tôi!

Beyond Vibe Coding: Formal Verification for AI-Generated Software

tháng 10 22, 2026 | 12:30 - 1:30 SA (UTC) Giờ phối hợp quốc tế

Bạn đã sẵn sàng bắt đầu với AI và các công nghệ mới nhất chưa? Microsoft Reactor cung cấp các sự kiện, đào tạo và tài nguyên cộng đồng để giúp các nhà phát triển, doanh nhân và công ty khởi nghiệp xây dựng dựa trên công nghệ AI và hơn thế nữa. Tham gia với chúng tôi!

Quay lại

Beyond Vibe Coding: Formal Verification for AI-Generated Software

tháng 10 22, 2026 | 12:30 - 1:30 SA (UTC) Giờ phối hợp quốc tế

  • Định dạng:
  • alt##LivestreamPhát trực tiếp

Chủ đề: Mã nguồn mở

Ngôn ngữ: Tiếng Anh

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.
  • open source
  • Rust
  • AI coding agents
  • Formal verification

Người phát biểu

  • Carl Kadie

    • Principal Applied Researcher

    Microsoft

Sự kiện liên quan

Các sự kiện dưới đây cũng có thể được bạn quan tâm. Hãy chắc chắn ghé thăm Trang chủ lò phản ứng để xem tất cả các sự kiện có sẵn.

Các phần của trang này có thể được dịch bằng máy hoặc AI.