Constrained image generation using binarized neural networks with decision procedures

DOI10.1007/978-3-319-94144-8_27OpenAlexW2962938696MaRDI QIDQ1656604

Mooly Sagiv, Svyatoslav Korneev, Luca Pulina, Nina Narodytska, Armando Tacchella, Nikolaj Bjørner

Publication date: 10 August 2018

Full work available at URL: https://arxiv.org/abs/1802.08795

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies for image processing (68U10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks

This page was built for publication: Constrained image generation using binarized neural networks with decision procedures