Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study.

Mattia Medina Grespan, Ashim Gupta, Vivek Srikumar

Browse the full IJCAI paper archive.