Jens U. Kreber

1. Teaching Temporal Logics to Neural Networks
   2020/03/06 by Christopher Hahn, Hahn, Christopher, Frederik Schmitt +7 · 8 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Neural Networks and Applications #Topic Modeling
2. Generating Symbolic Reasoning Problems with Transformer GANs
   2021/10/19 by Jens U. Kreber, Christopher Hahn, Kreber, Jens U. +1 · 2 citations
   Computer Science · #Artificial Intelligence in Games #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling