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

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks

Nov 14, 2019
Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting


  Access Paper or Ask Questions

Silas: High Performance, Explainable and Verifiable Machine Learning

Oct 03, 2019
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Ali Mirjalili


  Access Paper or Ask Questions

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

Oct 03, 2019
Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan Mahony, Martin Oxenham


  Access Paper or Ask Questions

Analyzing Recurrent Neural Network by Probabilistic Abstraction

Sep 22, 2019
Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong


  Access Paper or Ask Questions