Jens U. Kreber

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Reasoning Problems

Reactive Systems

Mazurkiewicz Traces

Top Venues

Publications

Jens U. Kreber, Christopher Hahn
Generating Symbolic Reasoning Problems with Transformer GANs. CoRR (2021)
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner
Teaching Temporal Logics to Neural Networks. ICLR (2021)