คำแนะนำเบื้องต้นเกี่ยวกับการสร้างเครื่องมือเชิงรูปแบบด้วย AI Agents
Mike Dodds จาก Oath Technologies แบ่งปันบันทึกจากหลายเดือนของการสร้าง semantics, verifiers และ proof toolchains โดยมี AI agents ทำงานส่วนใหญ่ การบรรยายนี้ให้คำแนะนำเบื้องต้นเกี่ยวกับการใช้ AI เพื่อสร้างเครื่องมือเชิงรูปแบบ โดยอ้างอิงจากประสบการณ์ลงมือปฏิบัติจริงนั้น