conftrace_

Gil Einziger

3 papers · 2019–2024 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot (3) 🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15)

🚀 Conference Pioneer

Conferences

AAAI (1) ICML (1) UAI (1)

Top co-authors

Amit Portnoy (1) Shay Vargaftik (1) Michael Mitzenmacher (1) Itai Segall (1) Yaniv Ben-Itzhak (1) Ran Ben-Basat (1) Liel Leman (1) Gabriella Chouraqui (1) Liron Cohen (1) Maayan Goldstein (1)

Keywords

formal methods (1) formal verification (1) gradient boosting (1) probability calibration (1) uncertainty estimation (1) model verification (1) smt solving (1) confidence estimation (1) robustness verification (1) post-hoc calibration (1) geometric distance (1)

Papers

Accelerating Federated Learning with Quick Distributed Mean Estimation ICML 2024 A geometric method for improved uncertainty estimation in real-time UAI 2022 Verifying Robustness of Gradient Boosted Models AAAI 2019