Efficient Generation of Structured Objects with Constrained Adversarial
  Networks
  Generative Adversarial Networks (GANs) struggle to generate structured
objects like molecules and game maps. The issue is that structured objects must
satisfy hard requirements (e.g., molecules must be chemically valid) that are
difficult to acquire from examples alone. As a remedy, we propose Constrained
Adversarial Networks (CANs), an extension of GANs in which the constraints are
embedded into the model during training. This is achieved by penalizing the
generator proportionally to the mass it allocates to invalid structures. In
contrast to other generative models, CANs support efficient inference of valid
structures (with high probability) and allows to turn on and off the learned
constraints at inference time. CANs handle arbitrary logical constraints and
leverage knowledge compilation techniques to efficiently evaluate the
disagreement between the model and the constraints. Our setup is further
extended to hybrid logical-neural constraints for capturing very complex
constraints, like graph reachability. An extensive empirical analysis shows
that CANs efficiently generate valid structures that are both high-quality and
novel.
