AI Verification in the Wild
AI Verification in the Wild (VerifAI) - 2026
In conjunction with
International Conference on Learning Representations 2026
Rio de Janeiro
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.
Hotels near Riocentro Convention and Event Center
Ibis Rio de Janeiro Barra da Tijuca
Avenida Pepe 56, Barra da Tijuca
LSH Hotel
Av. Lucio Costa 1996, Barra da Tijuca
Radisson Hotel Barra Rio de Janeiro
Av. Evandro Lins e Silva 600, Barra da Tijuca
Royalty Barra Hotel
Av. Do Pepe 690, Barra da Tijuca
Sol da Barra Apart Hotel
Avenida Lucio Costa 880, Barra da Tijuca
Windsor Oceanico Hotel
Rua Martinho de Mesquita 129, Barra da Tijuca
Wyndham Rio Barra
Avenida Lucio Costa 3150, Barra da Tijuca