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…