Fabian Bauer-Marquart | DeepAI

DeepAI

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

Featured Co-authors

Bela Gipp
71 publications
Moritz Schubotz
39 publications
Terry Ruas
23 publications
Norman Meuschke
19 publications
Christian Schilling
13 publications
Stefan Leue
8 publications
Johannes Stegmüller
3 publications

research

∙ 12/05/2022

symQV: Automated Symbolic Verification of Quantum Programs

We present symQV, a symbolic execution framework for writing and verifyi...

0 Fabian Bauer-Marquart, et al. ∙

research

∙ 11/18/2021

Detecting Cross-Language Plagiarism using Open Knowledge Graphs

Identifying cross-language plagiarism is challenging, especially for dis...

0 Johannes Stegmüller, et al. ∙

research

∙ 06/03/2021

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization

Decisions made by deep neural networks (DNNs) have a tremendous impact o...

0 Fabian Bauer-Marquart, et al. ∙