Guanting Pan

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Formal Verification

Search Based Software Testing

Intuitionistic Fuzzy

Top Venues

J. Intell. Fuzzy Syst.

Publications

Joseph Scott, Guanting Pan, Piyush Jha, Elias B. Khalil, Vijay Ganesh
Pierce: A Testing Tool for Neural Network Verification Solvers. VSTTE (2023)
Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks. CoRR (2023)
Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh
Goose: A Meta-Solver for Deep Neural Network Verification. SMT (2022)
Qiong Liu, Fuzeng Yang, Yingjun Pu, Mengyun Zhang, Guanting Pan
Segmentation of farmland obstacle images based on intuitionistic fuzzy divergence. J. Intell. Fuzzy Syst. 31 (1) (2016)