 Confidence Preservation Property in Knowledge Distillation AbstractionsSGAI Conferences (SGAI), 2024 |
 Verifiable Learning for Robust Tree EnsemblesConference on Computer and Communications Security (CCS), 2023 |
 Exploiting Verified Neural Networks via Floating Point Numerical ErrorSensors Applications Symposium (SA), 2020 |
