Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.
Svyatoslav KorneevNina NarodytskaLuca PulinaArmando TacchellaNikolaj BjørnerMooly SagivPublished in: CoRR (2018)
Keyphrases
- decision procedures
- image generation
- modal logic
- automated reasoning
- theorem proving
- high resolution
- digital imaging
- conjunctive queries
- back propagation
- input image
- inference rules
- temporal logic
- probabilistic reasoning
- theorem prover
- image processing
- query answering
- knowledge representation
- objective function
- three dimensional