conftrace_

Sasa Misailovic

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

Achievements

Jump to papers ↓

🌍 Conference Polyglot (3) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (11)

Conferences

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)

Keywords

execution time (1) inference algorithm (1) probabilistic program (1) noise model (1) posterior prediction (1) robustness transformation (1)

Papers

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