4 papers
A Framework for Reproducible Benchmarking and Performance Diagnosis of SLAM Systems
Nikola Radulov, Yuhao Zhang, Mihai Bujanca +2
We propose SLAMFuse, an open-source SLAM benchmarking framework that provides consistent crossplatform environments for evaluating multi-modal SLAM algorithms, along with tools for…
Verified Training for Counterfactual Explanation Robustness under Data Shift
Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi +1
Counterfactual explanations (CEs) enhance the interpretability of machine learning models by describing what changes to an input are necessary to change its prediction to a desired…
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
Linyi Li, Yuhao Zhang, Luyao Ren +2
With the widespread deployment of deep neural networks (DNNs), ensuring the reliability of DNN-based systems is of great importance. Serious reliability issues such as system failu…
Overwatch: Learning Patterns in Code Edit Sequences
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta +8
Integrated Development Environments (IDEs) provide tool support to automate many source code editing tasks. Traditionally, IDEs use only the spatial context, i.e., the location whe…