Jianlin Li | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Yi Li
145 publications
Moshe Y. Vardi
92 publications
Jun Sun
89 publications
Xiaowei Huang
61 publications
Jingyi Wang
29 publications
Hongfei Fu
14 publications
Pengfei Yang
13 publications
Bai Xue
12 publications
Cheng-Chao Huang
7 publications
Liqian Chen
6 publications
Renjue Li
5 publications

research

∙ 10/15/2020

Improving Neural Network Verification through Spurious Region Guided Refinement

We propose a spurious region guided refinement approach for robustness v...

0 Pengfei Yang, et al. ∙

research

∙ 02/26/2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Deep neural networks (DNNs) have been shown lack of robustness for the v...

0 Pengfei Yang, et al. ∙

research

∙ 12/01/2017

Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties

Probabilistic timed automata (PTAs) are timed automata (TAs) extended wi...

0 Hongfei Fu, et al. ∙