5 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Bin Duan, Ruican Dong, Naipeng Dong +2
Deep learning powers critical applications such as autonomous driving, healthcare, and finance, where the correctness of underlying libraries is essential. Bugs in widely used deep…