David Boetius | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Tobias Sutter
10 publications
Stefan Leue
8 publications

research

∙ 06/21/2023

Verifying Global Neural Network Specifications using Hyperproperties

Current approaches to neural network verification focus on specification...

0 David Boetius, et al. ∙

research

∙ 01/26/2023

A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks

Counterexample-guided repair aims at creating neural networks with mathe...

0 David Boetius, et al. ∙