Guaranteed Conformance of Neurosymbolic Models to Natural Constraints

Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee 0001. Guaranteed Conformance of Neurosymbolic Models to Natural Constraints. In Nikolai Matni, Manfred Morari, George J. Pappas, editors, Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. Volume 211 of Proceedings of Machine Learning Research, pages 76-89, PMLR, 2023. [doi]

Authors

Kaustubh Sridhar

This author has not been identified. Look up 'Kaustubh Sridhar' in Google

Souradeep Dutta

This author has not been identified. Look up 'Souradeep Dutta' in Google

James Weimer

This author has not been identified. Look up 'James Weimer' in Google

Insup Lee 0001

This author has not been identified. Look up 'Insup Lee 0001' in Google