Václav Vorácek

19 papers A* 6B 1Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
XIMP: Cross Graph Inter-Message Passing for Molecular Property Prediction.
CoRR
Anatol Ehrlich, Lorenz Kummer, Václav Vorácek, Franka Bause, Nils M. Kriege
2025 A* conf
An Interpretable N-gram Perplexity Threat Model for Large Language Model Jailbreaks.
ICML
Valentyn Boreiko, Alexander Panfilov, Václav Vorácek, Matthias Hein, Jonas Geiping
2025 — —
Certified Adversarial Robustness With Domain Constraints.
Václav Vorácek
2025 J jnl
STaR-Bets: Sequential Target-Recalculating Bets for Tighter Confidence Intervals.
CoRR
Václav Vorácek, Francesco Orabona
2024 J jnl
A Realistic Threat Model for Large Language Model Jailbreaks.
CoRR
Valentyn Boreiko, Alexander Panfilov, Václav Vorácek, Matthias Hein, Jonas Geiping
2024 A* conf
Convergence of Some Convex Message Passing Algorithms to a Fixed Point.
ICML
Václav Vorácek, Tomás Werner
2024 J jnl
Convergence of Some Convex Message Passing Algorithms to a Fixed Point.
CoRR
Václav Vorácek, Tomás Werner
2024 B conf
Tight Bounds for Local Glivenko-Cantelli.
ALT
Moïse Blanchard, Václav Vorácek
2024 A* conf
Treatment of Statistical Estimation Problems in Randomized Smoothing for Adversarial Robustness.
NeurIPS
Václav Vorácek
2024 J jnl
Treatment of Statistical Estimation Problems in Randomized Smoothing for Adversarial Robustness.
CoRR
Václav Vorácek
2023 J jnl
A Symmetric-Difference-Closed Orthomodular Lattice That Is Stateless.
Order
Václav Vorácek, Pavel Pták
2023 A* conf
Improving l1-Certified Robustness via Randomized Smoothing by Leveraging Box Constraints.
ICML
Václav Vorácek, Matthias Hein
2023 J jnl
Optimal Strategies for Reject Option Classifiers.
J. Mach. Learn. Res.
Vojtech Franc, Daniel Prusa, Václav Vorácek
2023 A* conf
Sound Randomized Smoothing in Floating-Point Arithmetic.
ICLR
Václav Vorácek, Matthias Hein
2022 A* conf
Provably Adversarially Robust Nearest Prototype Classifiers.
ICML
Václav Vorácek, Matthias Hein
2022 J jnl
Provably Adversarially Robust Nearest Prototype Classifiers.
CoRR
Václav Vorácek, Matthias Hein
2022 J jnl
Sound Randomized Smoothing in Floating-Point Arithmetics.
CoRR
Václav Vorácek, Matthias Hein
2021 J jnl
CoLiDe: Combinatorial Library Design tool for probing protein sequence space.
Bioinform.
Vyacheslav Tretyachenko, Václav Vorácek, Radko Soucek, Kosuke Fujishima, Klára Hlouchová
2021 J jnl
Optimal strategies for reject option classifiers.
CoRR
Vojtech Franc, Daniel Prusa, Václav Vorácek