Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Xiangkun Li

dblp:150/6595 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1Graphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Trustworthy machine learning · 67% Optimization for machine learning · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Optimization for machine learning › convex relaxation
linear programming relaxation
0.412019
Robustness Verification of Classification Deep Neural Networks via Linear Programming · CVPR 2019
Machine learning › Trustworthy machine learning
robustness
0.412019
Robustness Verification of Classification Deep Neural Networks via Linear Programming · CVPR 2019
Machine learning › Trustworthy machine learning › verification
robustness verification
0.412019
Robustness Verification of Classification Deep Neural Networks via Linear Programming · CVPR 2019

Methods — techniques the papers use, named apart from their topics

over-approximation · 0.4linear programming · 0.4
YearPublicationVenuePosition
2019 Robustness Verification of Classification Deep Neural Networks via Linear Programming
abstract
There is a pressing need to verify robustness of classification deep neural networks (CDNNs) as they are embedded in many safety-critical applications. Existing robustness verification approaches rely on computing the over-approximation of the output set, and can hardly scale up to practical CDNNs, as the result of error accumulation accompanied with approximation. In this paper, we develop a novel method for robustness verification of CDNNs with sigmoid activation functions. It converts the robustness verification problem into an equivalent problem of inspecting the most suspected point in the input region which constitutes a nonlinear optimization problem. To make it amenable, by relaxing the nonlinear constraints into the linear inclusions, it is further refined as a linear programming problem. We conduct comparison experiments on a few CDNNs trained for classifying images in some state-of-the-art benchmarks, showing our advantages of precision and scalability that enable effective verification of practical CDNNs.
Zhengfeng Yang, Xin Chen 0027, Qingye Zhao, Xiangkun Li, Zhiming Liu 0001, Jifeng He 0001
CVPR5