Sasa Misailovic

5 papers · 2023–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (11)

Venues

ICLR (3) ICML (1) UAI (1)

Top co-authors

Gagandeep Singh (4) Shubham Ugare (3) Tarun Suresh (3) Debangshu Banerjee (2) Zixin Huang (1) Jacob Laurel (1) Saikat Dutta (1) Rohan Gumaste (1) Rem Yang (1)

Research topics

Artificial Intelligence (4) Core AI (3) Deep Learning (2) Machine Learning (2) Natural Language Processing (2) Bayesian & Probabilistic (2) Generation (2) Optimization & Theory (2) Computer Science (1) Application Areas (1) Architectures (1) Foundations (1) Techniques (1)

Keywords

neural network (2) image classification (1) certified robustness (1) adversarial robustness (1) constrained generation (1) sql generation (1) model pruning (1) execution time (1) inference algorithm (1) randomized smoothing (1) adversarial defense (1) hallucination mitigation (1) geometric transformation (1) probabilistic program (1) noise model (1) syntactic correctness (1) semantic correctness (1) reasoning capabilities (1) structured generation (1) posterior prediction (1)

Papers

CRANE: Reasoning with constrained LLM generation ICML 2025 IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking ICLR 2025 Incremental Randomized Smoothing Certification ICLR 2024 ASTRA: Understanding the practical impact of robustness for probabilistic programs UAI 2023 Provable Defense Against Geometric Transformations ICLR 2023