Jens U. Kreber

According to our database, Jens U. Kreber authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Generating Symbolic Reasoning Problems with Transformer GANs.

Jens U. Kreber, Christopher Hahn

CoRR, 2021

Teaching Temporal Logics to Neural Networks.

Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner

Proceedings of the 9th International Conference on Learning Representations, 2021