Mislav Balunovic
19 papers · 2018–2025 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Academic Marathon (7) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (6) π Cross-Pollinator (10)
π
Cross-Pollinator
(10)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(31)
π
Grand Slam
π€
Dynamic Duo
(18)
π
Triple Crown
π
Trend Setter
π
Century Club
(19)
π₯
Unstoppable
(8)
ποΈ
Keyword Collector
(59)
Conferences
ICLR (6)
ICML (5)
NIPS (5)
AAAI (1)
ECCV (1)
ICCV (1)
Top co-authors
Research topics
Keywords
adversarial robustness
(4)
formal verification
(3)
robustness certification
(2)
federated learning
(2)
computer vision
(2)
convex optimization
(1)
policy learning
(1)
privacy attack
(1)
text reconstruction
(1)
symbolic reasoning
(1)
semi-supervised learning
(1)
program synthesis
(1)
adversarial attack
(1)
convex relaxation
(1)
domain knowledge
(1)
gradient-based method
(1)
uncertainty quantification
(1)
latent representation
(1)
tree search
(1)
adversarial learning
(1)
Papers
Language Models are Advanced Anonymizers
ICLR 2025
MathConstruct: Challenging LLM Reasoning with Constructive Proofs
ICML 2025
AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents
NIPS 2024
Beyond Memorization: Violating Privacy via Inference with Large Language Models
ICLR 2024
CuTS: Customizable Tabular Synthetic Data Generation
ICML 2024
FARE: Provably Fair Representation Learning with Practical Certificates
ICML 2023
TabLeak: Tabular Data Leakage in Federated Learning
ICML 2023
Bayesian Framework for Gradient Leakage
ICLR 2022
LAMP: Extracting Text from Gradients with Language Model Priors
NIPS 2022
Latent Space Smoothing for Individually Fair Representations
ECCV 2022
Fair Normalizing Flows
ICLR 2022
Certify or Predict: Boosting Certified Robustness with Compositional Architectures
ICLR 2021
Efficient Certification of Spatial Robustness
AAAI 2021
Robustness Certification for Point Cloud Models
ICCV 2021
Adversarial Training and Provable Defenses: Bridging the Gap
ICLR 2020
Learning Certified Individually Fair Representations
NIPS 2020
DL2: Training and Querying Neural Networks with Logic
ICML 2019
Certifying Geometric Robustness of Neural Networks
NIPS 2019
Learning to Solve SMT Formulas
NIPS 2018