2 papers
cs.SE2026
Improving Deep Learning Library Testing with Machine Learning
Facundo Molina, M M Abid Naziri, Feiran Qin +2
Deep Learning (DL) libraries like TensorFlow and Pytorch simplify machine learning (ML) model development but are prone to bugs due to their complex design. Bug-finding techniques…
cs.SE2026
Testing Deep Learning Libraries via Neurosymbolic Constraint Learning
M M Abid Naziri, Shinhae Kim, Feiran Qin +2
Deep Learning (DL) libraries (e.g., PyTorch) are popular in AI development. These libraries are complex and contain bugs. Researchers have proposed various bug-finding techniques f…