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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory


Dec 02, 2022
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang

Add code

* 9 pages, 4 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Safety Verification for Neural Networks Based on Set-boundary Analysis


Oct 09, 2022
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue

Add code

* 19 pages, 7 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Properties of Kullback-Leibler Divergence Between Gaussians


Feb 24, 2021
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang

Add code

* arXiv admin note: text overlap with arXiv:2002.03328 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Sufficient and Necessary Conditions in Bounded CTL


Mar 13, 2020
Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models


Feb 09, 2020
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email