Aymeric Fromherz | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Matt Fredrikson
29 publications
Corina Pasareanu
12 publications
Aseem Rastogi
12 publications
Klas Leino
12 publications
Danel Ahman
10 publications
Ravi Mangal
6 publications
Nikhil Swamy
5 publications
Bryan Parno
5 publications
Guido Martínez
5 publications
Denis Merigoux
3 publications

research

∙ 11/30/2021

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

Much recent research has been devoted to modeling effects within type th...

0 Nikhil Swamy, et al. ∙

research

∙ 07/23/2021

Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair

Neural networks are increasingly being deployed in contexts where safety...

0 Klas Leino, et al. ∙

research

∙ 02/12/2020

Fast Geometric Projections for Local Robustness Certification

Local robustness ensures that a model classifies all inputs within an ϵ-...

0 Aymeric Fromherz, et al. ∙