Kaons: the science and engineering of reliable intelligence

Kaons advances the science and engineering of reliable intelligence. We develop mathematical foundations, rigorous evaluations, and computational systems to understand how intelligent systems reason, where they fail, and how to make them dependable. AsymVerify placed second of 41 teams at ACL 2026.