WorkWander.tech
WorkWander.tech

AI Verification in the Wild

AI Verification in the Wild (VerifAI)

In conjunction with
International Conference on Learning Representations 2026
April 23-27, 2026
Riocentro Convention and Event Center
Rio de Janeiro

Machine Learning AI

Bridges formal verification and machine learning, exploring how to provide provable guarantees about model behavior in safety-critical settings including autonomous systems, medical AI, and LLM outputs.

  For more information, visit the workshop website

More workshops at International Conference on Learning Representations 2026