Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Youcheng Sun

NNrepair: Constraint-based Repair of Neural Network Classifiers


Mar 23, 2021
Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina Pasareanu


  Access Paper or Ask Questions

Compositional Explanations for Image Classifiers


Mar 05, 2021
Hana Chockler, Daniel Kroening, Youcheng Sun


  Access Paper or Ask Questions

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks


Feb 27, 2021
Muhammad Usman, Yannic Noller, Corina Pasareanu, Youcheng Sun, Divya Gopinath


  Access Paper or Ask Questions

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics


Oct 16, 2020
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang


  Access Paper or Ask Questions

Ranking Policy Decisions


Aug 31, 2020
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening


  Access Paper or Ask Questions

Reliability Validation of Learning Enabled Vehicle Tracking


Feb 06, 2020
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang


  Access Paper or Ask Questions

Test Metrics for Recurrent Neural Networks


Nov 05, 2019
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang


  Access Paper or Ask Questions

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization


Aug 06, 2019
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening


  Access Paper or Ask Questions

testRNN: Coverage-guided Testing on Recurrent Neural Networks


Jun 20, 2019
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp

* Summited to ASE 2019 Demonstrations Track 

  Access Paper or Ask Questions

Safety and Trustworthiness of Deep Neural Networks: A Survey


Jan 18, 2019
Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska, Wenjie Ruan, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi

* The paper requires a significant upgrade, and since it could be completely different with its current version, we believe it is more suitable to withdraw 

  Access Paper or Ask Questions

Concolic Testing for Deep Neural Networks


Aug 04, 2018
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening


  Access Paper or Ask Questions

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm


Apr 16, 2018
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

* 39 Pages, Github: https://github.com/L0-TRE/L0-TRE 

  Access Paper or Ask Questions

Testing Deep Neural Networks


Mar 18, 2018
Youcheng Sun, Xiaowei Huang, Daniel Kroening


  Access Paper or Ask Questions