David Boetius | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙