CoLiDe: Combinatorial Library Design tool for probing protein sequence space. - Vyacheslav Tretyachenko; Václav Vorácek; Radko Soucek; Kosuke Fujishima; Klára Hlouchová (Bioinform., 2021)

Provably Adversarially Robust Nearest Prototype Classifiers. - Václav Vorácek; Matthias Hein 001 (ICML, 2022)

Sound Randomized Smoothing in Floating-Point Arithmetics. - Václav Vorácek; Matthias Hein 001 (CoRR, 2022)

Sound Randomized Smoothing in Floating-Point Arithmetic. - Václav Vorácek; Matthias Hein 001 (ICLR, 2023)

Improving l1-Certified Robustness via Randomized Smoothing by Leveraging Box Constraints. - Václav Vorácek; Matthias Hein 001 (ICML, 2023)

Optimal Strategies for Reject Option Classifiers. - Vojtech Franc; Daniel Prusa; Václav Vorácek (J. Mach. Learn. Res., 2023)

A Symmetric-Difference-Closed Orthomodular Lattice That Is Stateless. - Václav Vorácek; Pavel Pták (Order, 2023)

Tight Bounds for Local Glivenko-Cantelli. - Moïse Blanchard; Václav Vorácek (ALT, 2024)

Convergence of Some Convex Message Passing Algorithms to a Fixed Point. - Václav Vorácek; Tomás Werner (ICML, 2024)

Treatment of Statistical Estimation Problems in Randomized Smoothing for Adversarial Robustness. - Václav Vorácek (NeurIPS, 2024)

A Realistic Threat Model for Large Language Model Jailbreaks. - Valentyn Boreiko; Alexander Panfilov; Václav Vorácek; Matthias Hein 001; Jonas Geiping (CoRR, 2024)

STaR-Bets: Sequential Target-Recalculating Bets for Tighter Confidence Intervals. - Václav Vorácek; Francesco Orabona (CoRR, 2025)