TY  - RPRT
TI  - Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
AU  - M M Abid Naziri
AU  - Shinhae Kim
AU  - Feiran Qin
AU  - Marcelo d'Amorim
AU  - Saikat Dutta
PY  - 2026
UR  - https://arxiv.org/abs/2601.15493
ID  - 2601.15493
ER  -