firstbacksecondback
8 Results
|
Spotlight
|
Mon 20:28 |
Fast Geometric Projections for Local Robustness Certification Aymeric Fromherz · Klas Leino · Matt Fredrikson · Bryan Parno · Corina Pasareanu |
|
|
Poster
|
Mon 9:00 |
Teaching Temporal Logics to Neural Networks Christopher Hahn · Frederik Schmitt · Jens Kreber · Markus Rabe · Bernd Finkbeiner |
|
|
Poster
|
Thu 17:00 |
Fast Geometric Projections for Local Robustness Certification Aymeric Fromherz · Klas Leino · Matt Fredrikson · Bryan Parno · Corina Pasareanu |
|
|
Poster
|
Thu 1:00 |
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning Enrico Marchesini · Davide Corsi · Alessandro Farinelli |
|
|
Poster
|
Tue 1:00 |
Scaling the Convex Barrier with Active Sets Alessandro De Palma · Harkirat Singh Behl · Rudy R Bunel · Philip Torr · M. Pawan Kumar |
|
|
Workshop
|
Speeding Up Neural Network Verification via Automated Algorithm Configuration Matthias König |
||
|
Poster
|
Thu 17:00 |
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu · Huan Zhang · Shiqi Wang · Yihan Wang · Suman Jana · Xue Lin · Cho-Jui Hsieh |
|
|
Workshop
|
Fri 11:01 |
Contributed Talk 2 - Neural Lower Bounds for Verification Florian Jaeckle |