In Search for a SAT-friendly Binarized Neural Network Architecture

Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh. In Search for a SAT-friendly Binarized Neural Network Architecture. In 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020. OpenReview.net, 2020. [doi]

Authors

Nina Narodytska

This author has not been identified. Look up 'Nina Narodytska' in Google

Hongce Zhang

This author has not been identified. Look up 'Hongce Zhang' in Google

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google

Toby Walsh

This author has not been identified. Look up 'Toby Walsh' in Google