Fast, Fine-Grained Equivalence Checking for Neural Decompilers
Authors: Luke Dramko, Claire Le Goues, Edward J. Schwartz | Published: 2025-01-08
Equivalence Evaluation
Structure-Preference Enabled Graph Embedding Generation under Differential Privacy
Authors: Sen Zhang, Qingqing Ye, Haibo Hu | Published: 2025-01-07
Integrating uncertainty quantification into randomized smoothing based robustness guarantees
Authors: Sina Däubener, Kira Maag, David Krueger, Asja Fischer | Published: 2024-10-27