Counterexample-Guided Learning of Monotonic Neural Networks. - Sivaraman, Aishwarya; Farnadi, Golnoosh; Millstein, Todd D.; Broeck, Guy Van den (CoRR, 2020)