Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mattia Medina Grespan, Ashim Gupta, Vivek Srikumar. Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021. pages 2812-2818, ijcai.org, 2021. [doi]

This author has not been identified. Look up 'Mattia Medina Grespan' in GoogleThis author has not been identified. Look up 'Ashim Gupta' in GoogleThis author has not been identified. Look up 'Vivek Srikumar' in Google

runs on WebDSL