Elios Lab

StabilEdge: Formal Verification of Deep Neural Networks

Extensive list and references of the models used in our SLM benchmarking study

Verifier-aware perturbation-position scheduling for efficient certified robustness assessment of Transformer text classifiers.

Python toolkit to generate physically-grounded LiDAR anomalies for robust sensor testing: Background noise (simulating adverse weather conditions), Zero-Range Background (modeling sensor obstruction), Electromagnetic Interference (representing electronic noise), and Occlusion (ray diffusion/absorption).

ELIOS Predictive Intelligence Challenge (EPIC) is a simulation-driven machine learning competition platform developed by the ELIOS Laboratory