Counterexample-Guided Learning of Monotonic Neural Networks - Sivaraman, Aishwarya; Farnadi, Golnoosh; Millstein, Todd; Van den Broeck, Guy (Advances in Neural Information Processing Systems, 2020)