Samuel Teuber (@teuber.bsky.social)

Our paper on confidence-based equivalence verification of NNs has just been accepted to #TACAS25 🥳 I'm looking forward to present our new Zonotope-based abstract domain -- we also explored which equivalence properties are more/less amenable to differential verification... teuber.dev/publication/...

loading . . .

Revisiting Differential Verification: Equivalence Verification with Confidence | Samuel Teuber We introduce a new abstract domain for differential verification using Zonotopes and explore which equivalence properties are ammenable to differential verification. Furthermore, we propose an improve... https://teuber.dev/publication/tacas25/

about 1 year ago