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]
Abstract is missing.