TY  - RPRT
TI  - Guaranteed Conformance of Neurosymbolic Models to Natural Constraints
AU  - Kaustubh Sridhar
AU  - Souradeep Dutta
AU  - James Weimer
AU  - Insup Lee
PY  - 2023
UR  - https://arxiv.org/abs/2212.01346
ID  - 2212.01346
ER  -