Vivek Srikumar

1 paper in the IJCAI proceedings

IJCAI 2021

Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study

with Mattia Medina Grespan, Ashim Gupta

doi:10.24963/ijcai.2021/387

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings