Cheng-Chao Huang | DeepAI

DeepAI AI Chat

Featured Co-authors

Lijun Zhang
92 publications
Jun Sun
89 publications
Liang Zhang
76 publications
Jingyi Wang
29 publications
Youcheng Sun
27 publications
Aimin Zhou
15 publications
Pengfei Yang
13 publications
Bai Xue
12 publications
Shaowei Cai
11 publications
Hanwei Zhang
8 publications
Gaojie Jin
8 publications

∙ 08/11/2023

TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models

Robust pedestrian trajectory forecasting is crucial to developing safe a...

0 Liang Zhang, et al. ∙

∙ 02/10/2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

Constraint solving is an elementary way for verification of deep neural ...

0 Pengfei Yang, et al. ∙

∙ 11/23/2022

Safety Analysis of Autonomous Driving Systems Based on Model Learning

We present a practical verification method for safety analysis of the au...

0 Renjue Li, et al. ∙

∙ 12/09/2021

Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers

In this paper, we study linear forms λ = β_1e^α_1+⋯+β_me^α_m, ...

0 Cheng-Chao Huang, et al. ∙

∙ 06/05/2021

Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness

In this paper, we propose a framework of filter-based ensemble of deep n...

0 Renjue Li, et al. ∙

∙ 01/25/2021

Probabilistic Robustness Analysis for DNNs based on PAC Learning

This paper proposes a black box based approach for analysing deep neural...

3 Renjue Li, et al. ∙

∙ 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. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world