SAIV 2026

Speaker

Vijay Ganesh

More Information:
Talks at this conference:
 Sat, 15:45 Enhancing the Robustness of Counterfactual Explanations via Adversarial Training
 Sat, 11:30 ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
 Sat, 11:45 Optimizing VNN Solver Configuration Selection using Large Language Models

 Overview