Paul Montague
14 papers · 2019–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π Cross-Pollinator (15) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (16) π§ Keyword Pioneer π Conference Polyglot (6)
π
Academic Marathon
(6)
π
Renaissance Researcher
(5)
π
Grand Slam
π₯
Unstoppable
(7)
π
Century Club
(13)
Conferences
AAAI (5)
ICLR (3)
ICML (2)
NIPS (2)
AISTATS (1)
ECCV (1)
Top co-authors
Research topics
Keywords
adversarial robustness
(3)
adversarial example
(3)
adversarial learning
(3)
certified defense
(2)
game theory
(1)
adversarial training
(1)
model editing
(1)
automated reasoning
(1)
feature space
(1)
machine learning
(1)
parameter optimization
(1)
malware detection
(1)
adversarial attack
(1)
diffusion model
(1)
ensemble method
(1)
randomized smoothing
(1)
adversarial defense
(1)
poisoning attack
(1)
robustness certification
(1)
bayesian neural network
(1)
Papers
Certified but Fooled! Breaking Certified Defenses with Ghost Certificates
AAAI 2026
Position: Certified Robustness Does Not (Yet) Imply Model Security
ICML 2025
Multi-level Certified Defense Against Poisoning Attacks in Offline Reinforcement Learning
ICLR 2025
Fantastic Targets for Concept Erasure in Diffusion Models and Where To Find Them
ICLR 2025
Et Tu Certifications: Robustness Certificates Yield Better Adversarial Examples
ICML 2024
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
AAAI 2024
Erasing Undesirable Concepts in Diffusion Models with Adversarial Preservation
NIPS 2024
Feature-Space Bayesian Adversarial Learning Improved Malware Detector Robustness
AAAI 2023
Enhancing the Antidote: Improved Pointwise Certifications against Poisoning Attacks
AAAI 2023
Double Bubble, Toil and Trouble: Enhancing Certified Robustness through Transitivity
NIPS 2022
On Global-view Based Defense via Adversarial Attack and Defense Risk Guaranteed Bounds
AISTATS 2022
Improving Ensemble Robustness by Collaboratively Promoting and Demoting Adversarial Robustness
AAAI 2021
Improving Adversarial Robustness by Enforcing Local and Global Compactness
ECCV 2020
Maximal Divergence Sequential Autoencoder for Binary Software Vulnerability Detection
ICLR 2019