Demo Data from VLDB 2026 / reviewers in the wild / expert
Xiangkun Li
dblp:150/6595
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Optimization for machine learning › convex relaxation
linear programming relaxation |
0.4 | 1 | 2019 | Robustness Verification of Classification Deep Neural Networks via Linear Programming · CVPR 2019 |
Machine learning › Trustworthy machine learning
robustness |
0.4 | 1 | 2019 | Robustness Verification of Classification Deep Neural Networks via Linear Programming · CVPR 2019 |
Machine learning › Trustworthy machine learning › verification
robustness verification |
0.4 | 1 | 2019 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | Robustness Verification of Classification Deep Neural Networks via Linear ProgrammingabstractThere 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 |
CVPR | 5 |