Antoine Mine | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ji Wang
28 publications
Caterina Urban
8 publications
Liqian Chen
6 publications
Vincent Botbol
3 publications
Jiangchao Liu
3 publications
Guillaume Bau
1 publication
Mehdi Bouaziz
1 publication

research

∙ 10/11/2022

Abstract interpretation of Michelson smart-contracts

Static analysis of smart-contracts is becoming more widespread on blockc...

0 Guillaume Bau, et al. ∙

research

∙ 04/06/2021

A Review of Formal Methods applied to Machine Learning

We review state-of-the-art formal methods applied to the emerging field ...

0 Caterina Urban, et al. ∙

research

∙ 02/09/2020

Input Validation for Neural Networks via Runtime Local Robustness Verification

Local robustness verification can verify that a neural network is robust...

0 Jiangchao Liu, et al. ∙