Segmentation of farmland obstacle images based on intuitionistic fuzzy divergence. - Qiong Liu; Fuzeng Yang; Yingjun Pu; Mengyun Zhang; Guanting Pan (J. Intell. Fuzzy Syst., 2016)

Goose: A Meta-Solver for Deep Neural Network Verification. - Joseph Scott; Guanting Pan; Elias B. Khalil; Vijay Ganesh 001 (SMT, 2022)

Pierce: A Testing Tool for Neural Network Verification Solvers. - Joseph Scott; Guanting Pan; Piyush Jha; Elias B. Khalil; Vijay Ganesh 001 (VSTTE, 2023)

CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. - Vineel Nagisetty; Laura Graves; Guanting Pan; Piyush Jha; Vijay Ganesh 001 (CoRR, 2023)