Václav Vorácek

According to our database, Václav Vorácek authored at least 11 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Realistic Threat Model for Large Language Model Jailbreaks.

Valentyn Boreiko, Alexander Panfilov, Václav Vorácek, Matthias Hein, Jonas Geiping

CoRR, 2024

Treatment of Statistical Estimation Problems in Randomized Smoothing for Adversarial Robustness.

Václav Vorácek

CoRR, 2024

Convergence of Some Convex Message Passing Algorithms to a Fixed Point.

Václav Vorácek, Tomás Werner

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Tight Bounds for Local Glivenko-Cantelli.

Moïse Blanchard, Václav Vorácek

Proceedings of the International Conference on Algorithmic Learning Theory, 2024

2023

A Symmetric-Difference-Closed Orthomodular Lattice That Is Stateless.

Václav Vorácek, Pavel Pták

Order, July, 2023

Optimal Strategies for Reject Option Classifiers.

Vojtech Franc, Daniel Prusa, Václav Vorácek

J. Mach. Learn. Res., 2023

Improving l1-Certified Robustness via Randomized Smoothing by Leveraging Box Constraints.

Václav Vorácek, Matthias Hein

Proceedings of the International Conference on Machine Learning, 2023

Sound Randomized Smoothing in Floating-Point Arithmetic.

Václav Vorácek, Matthias Hein

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Sound Randomized Smoothing in Floating-Point Arithmetics.

Václav Vorácek, Matthias Hein

CoRR, 2022

Provably Adversarially Robust Nearest Prototype Classifiers.

Václav Vorácek, Matthias Hein

Proceedings of the International Conference on Machine Learning, 2022

2021

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