Poster · Paris

Pareto DNN Verification: Fast for Most Queries

Name: Pareto DNN Verification: Fast for Most Queries
Start: 2026-12-09T17:00:00+01:00
End: 2026-12-09T19:00:00+01:00
Location: Paris Poster Hall, Paris

When: Wed 9 Dec 2026, 17:00–19:00 CET
Where: Paris Poster Hall
Session: Paris Poster Session 2
Authors: Yizhak Y. Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Hillel Kugler, Guy Katz
Organisations: Masaryk University, Technion, Ben-Gurion University of the Negev, University of California, Riverside, Bar-Ilan University, Hebrew University of Jerusalem

Open in schedule Official page