Options
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Formal Specification for Learning-Enabled Autonomous Systems
Formally Compensating Performance Limitations for Imprecise 2D Object Detection