Sherwin Varghese

Accepted at the 9th International Symposium on AI Verification (SAIV 2026)

Papers on Lattice

Total citations

Topics

Research focus

Constitutional AI & AI Ethics (1)Red-Teaming & Adversarial Robustness (1)

Frequent co-authors

Matthew Wicker (1)Alessio Lomuscio (1)

Papers (1)

Jun 8, 2026

Accepted at the 9th InternationalJun 8, 2026

Hybrid Robustness Verification for Spatio-Temporal Neural Networks

Tighter robustness guarantees and 1.7x higher certified accuracy for 3D CNNs in safety-critical applications could redefine verification standards in AI.

Sherwin Varghese, Matthew Wicker, Alessio Lomuscio

Constitutional AI & AI Ethics Red-Teaming & Adversarial Robustness

Search

Sherwin Varghese

Research focus

Frequent co-authors

Papers (1)