Guanting Pan

According to our database, Guanting Pan authored at least 3 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks.

Vineel Nagisetty, Laura Graves, Guanting Pan, Piyush Jha, Vijay Ganesh

CoRR, 2023

2022

Goose: A Meta-Solver for Deep Neural Network Verification.

Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

2016

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