Aymeric Varasse

According to our database, Aymeric Varasse authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

AIMOS: Metamorphic Testing of AI - An Industrial Application.

Augustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2021

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification.

Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer, Guillaume Charpiat, Zakaria Chihani

CoRR, 2021