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]
@inproceedings{SridharDW023,
title = {Guaranteed Conformance of Neurosymbolic Models to Natural Constraints},
author = {Kaustubh Sridhar and Souradeep Dutta and James Weimer and Insup Lee 0001},
year = {2023},
url = {https://proceedings.mlr.press/v211/sridhar23a.html},
researchr = {https://researchr.org/publication/SridharDW023},
cites = {0},
citedby = {0},
pages = {76-89},
booktitle = {Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA},
editor = {Nikolai Matni and Manfred Morari and George J. Pappas},
volume = {211},
series = {Proceedings of Machine Learning Research},
publisher = {PMLR},
}