Search papers, labs, and topics across Lattice.
Accepted at the 9th International Symposium on AI Verification (SAIV 2026)
2
0
5
Tighter robustness guarantees and 1.7x higher certified accuracy for 3D CNNs in safety-critical applications could redefine verification standards in AI.
Unlock calibrated uncertainty in Mixture-of-Experts Transformers with VMoER, a Bayesian routing method that slashes calibration error by 94% while barely impacting FLOPs.
