Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
M M Abid Naziri; Shinhae Kim; Feiran (Alex) Qin; Saikat Dutta; Marcelo d'Amorim
- Published
- Publisher
- ACM
- Journal / collection
- Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering
- Research area
- AI & compute
- Source type
- Conference paper
- DOI
- 10.1145/3744916.3787800
The original publisher provides the full text and its access options.
Cite this source
M M Abid Naziri; Shinhae Kim; Feiran (Alex) Qin; Saikat Dutta; Marcelo d'Amorim. Testing Deep Learning Libraries via Neurosymbolic Constraint Learning. Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering. 2026-04-12. https://doi.org/10.1145/3744916.3787800