conftrace_

Aymeric Fromherz

1 papers · 2021–2021 · 1 conference · across top CS/AI conferences

Conferences

ICLR (1)

Top co-authors

Matt Fredrikson (1) Bryan Parno (1) Corina Pasareanu (1) Klas Leino (1)

Classification in progress for this author's papers.

Papers

Fast Geometric Projections for Local Robustness Certification ICLR 2021