Contributed talk
in
Workshop: Robust and reliable machine learning in the real world
Contributed Talk 2 - Neural Lower Bounds for Verification
Florian Jaeckle
Abstract: