Václav Vorácek

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

Collaborative distances:

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

2024

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

Václav Vorácek, Tomás Werner

CoRR, 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