Christopher Hahn | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Markus N. Rabe
5 publications
Bernd Finkbeiner
3 publications
Frederik Schmitt
2 publications
Julian Siber
1 publication
Julia J. Tillman
1 publication
Niklas Metzger
1 publication

research

∙ 06/04/2022

Formal Specifications from Natural Language

We study the generalization abilities of language models when translatin...

0 Christopher Hahn, et al. ∙

research

∙ 03/06/2020

Teaching Temporal Logics to Neural Networks

We show that a deep neural network can learn the semantics of linear-tim...

12 Bernd Finkbeiner, et al. ∙

Success!

An error occurred