Scholar Conversation
“Nobody needs to know what the system usually does”
Dr. Aarav Mehta on formal verification, the value of a negative result, and what an industrial partner taught him about his own assumptions.
Artificial Intelligence Sep 7, 2026 8 min read