2 papers
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…
cs.SE2025
Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
Feiran Qin, M. M. Abid Naziri, Hengyu Ai +2
Deep Learning (DL) libraries such as PyTorch provide the core components to build major AI-enabled applications. Finding bugs in these libraries is important and challenging. Prior…