Andrea Gimelli

According to our database, Andrea Gimelli authored at least 2 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification.

Ann Roy, Allen Antony, Andrea Gimelli, Matthew L. Daggitt

CoRR, May, 2026

2024

Improving Abstract Propagation For Verification Of Neural Networks.

Stefano Demarchi, Andrea Gimelli, Armando Tacchella

Proceedings of the 38th ECMS International Conference on Modelling and Simulation, 2024