The LeanLang for Verified Autonomy Hackathon was a two-day event at IISc Bangalore organised by Prof. Siddharth Gadgil and Emergence AI, focused on applying Lean 4 to real-world multi-agent systems.

Durwasa has a writeup. He (PhD student) and Vimala Soundarapandian (researcher) entered as team sambar&Soundness and took 2nd prize for QueryBridge.

QueryBridge uses Lean 4 to formally verify that translating queries between JSON and SQL preserves correctness: proved, not just tested. Congratulations to both.