selected publications

• academic article

  • Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation.  IEEE Access.  11:33401-33413. 2023

• conference paper

  • Abstract interpretation for neural networks verification.  HAL (Le Centre pour la Communication Scientifique Directe). 2020