Generating Symbolic Reasoning Problems with Transformer GANs.

Jens U. Kreber Christopher Hahn

Published in: CoRR (2021)

Keyphrases

reasoning problems
description logics
decision procedures
reasoning tasks
fuzzy logic
constraint satisfaction problems
computational properties
high level
tree decomposition
machine learning
logic programming
parallel processing