Post #4309491
2026-07-28 17:00 UTC
0/ At the AIMCS (AI for Math and CS) workshop at FLoC 2026, Swarat Chaudhuri ran a really fun panel on "How should the Formal Methods community respond to AI progress?" He put a lot of thought into very good questions, so here are my answers to them: ↵
Replies (0)
No replies.