@inproceedings{NEURIPS2020_8ab70731, author = {Sivaraman, Aishwarya and Farnadi, Golnoosh and Millstein, Todd and Van den Broeck, Guy}, booktitle = {Advances in Neural Information Processing Systems}, editor = {H. Larochelle and M. Ranzato and R. Hadsell and M.F. Balcan and H. Lin}, pages = {11936--11948}, publisher = {Curran Associates, Inc.}, title = {Counterexample-Guided Learning of Monotonic Neural Networks}, url = {https://proceedings.neurips.cc/paper_files/paper/2020/file/8ab70731b1553f17c11a3bbc87e0b605-Paper.pdf}, volume = {33}, year = {2020} }