Demo Data from EDBT 2026 / reviewers in the wild / expert
Yuang Geng
dblp:360/4952
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0002-2265-7586ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
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.
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Artificial intelligence
1 paper |
Trustworthy machine learning · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Trustworthy machine learning
robustness |
0.8 | 1 | 2024 | Bridging Dimensions: Confident Reachability for High-Dimensional Controllers · FM (1) 2024 |
Program verification
neural network verification |
0.8 | 1 | 2024 | Bridging Dimensions: Confident Reachability for High-Dimensional Controllers · FM (1) 2024 |
Program verification › model checking › state space exploration
reachability analysis |
0.8 | 1 | 2024 | Bridging Dimensions: Confident Reachability for High-Dimensional Controllers · FM (1) 2024 |
Methods — techniques the papers use, named apart from their topics
statistical approximation · 1.5knowledge distillation · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Unsupervised Anomaly Detection Improves Imitation Learning for Autonomous RacingabstractImitation Learning (IL) has shown significant promise in autonomous driving, but its performance heavily depends on the quality of training data. Noisy or corrupted sensor inputs can degrade learned policies, leading to unsafe behavior. This paper presents an unsupervised anomaly detection approach to automatically filter out abnormal images from driving datasets, thereby enhancing IL performance. Our method leverages a Convolutional Autoencoder with a novel latent reference loss, which forces abnormal images to reconstruct with higher errors than normal images. This enables effective anomaly detection without requiring manually labeled data. We validate our approach on the realistic DonkeyCar autonomous racing platform, demonstrating that filtering videos significantly improves IL policies, as measured by a 25-40% reduction in cross-track error. Compared to baseline and ablation models, our method achieves superior anomaly detection across three real-world video corruptions: collision-based occlusions, transparent obstructions, and raindrop interference. The results highlight the effectiveness of unsupervised video anomaly detection in improving the robustness and performance of IL-based autonomous control.Video: https://youtu.be/RjJ3nZR6RQ Yuang Geng, Zhongzheng Ren Zhang, Tyler Ruble, Giancarlo Vidal, Ivan Ruchkin |
IROS | 1 |
| 2024 | Bridging Dimensions: Confident Reachability for High-Dimensional ControllersabstractAbstract Autonomous systems are increasingly implemented using end-to-end learning-based controllers. Such controllers make decisions that are executed on the real system, with images as one of the primary sensing modalities. Deep neural networks form a fundamental building block of such controllers. Unfortunately, the existing neural-network verification tools do not scale to inputs with thousands of dimensions—especially when the individual inputs (such as pixels) are devoid of clear physical meaning. This paper takes a step towards connecting exhaustive closed-loop verification with high-dimensional controllers. Our key insight is that the behavior of a high-dimensional vision-based controller can be approximated with several low-dimensional controllers. To balance the approximation accuracy and verifiability of our low-dimensional controllers, we leverage the latest verification-aware knowledge distillation. Then, we inflate low-dimensional reachability results with statistical approximation errors, yielding a high-confidence reachability guarantee for the high-dimensional controller. We investigate two inflation techniques—based on trajectories and control actions—both of which show convincing performance in three OpenAI gym benchmarks. Yuang Geng, Jake Brandon Baldauf, Souradeep Dutta, Chao Huang 0015, Ivan Ruchkin |
FM (1) | 1 |