TY  - RPRT
TI  - Comparing differentiable logics for learning with logical constraints
AU  - Thomas Flinkow
AU  - Barak A. Pearlmutter
AU  - Rosemary Monahan
PY  - 2025
DO  - 10.1016/j.scico.2025.103280
UR  - https://arxiv.org/abs/2407.03847
ID  - 2407.03847
ER  -