Václav Vorácek

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Belief Propagation

Bethe Free Energy

Prime Implicants

Top Venues

Publications

Václav Vorácek
Treatment of Statistical Estimation Problems in Randomized Smoothing for Adversarial Robustness. CoRR (2024)
Václav Vorácek, Tomás Werner
Convergence of Some Convex Message Passing Algorithms to a Fixed Point. CoRR (2024)
Moïse Blanchard, Václav Vorácek
Tight Bounds for Local Glivenko-Cantelli. ALT (2024)
Václav Vorácek, Matthias Hein
Sound Randomized Smoothing in Floating-Point Arithmetic. ICLR (2023)
Václav Vorácek, Matthias Hein
Improving l1-Certified Robustness via Randomized Smoothing by Leveraging Box Constraints. ICML (2023)
Vojtech Franc, Daniel Prusa, Václav Vorácek
Optimal Strategies for Reject Option Classifiers. J. Mach. Learn. Res. 24 (2023)
Václav Vorácek, Pavel Pták
A Symmetric-Difference-Closed Orthomodular Lattice That Is Stateless. Order 40 (2) (2023)
Václav Vorácek, Matthias Hein
Provably Adversarially Robust Nearest Prototype Classifiers. CoRR (2022)
Václav Vorácek, Matthias Hein
Sound Randomized Smoothing in Floating-Point Arithmetics. CoRR (2022)
Václav Vorácek, Matthias Hein
Provably Adversarially Robust Nearest Prototype Classifiers. ICML (2022)
Vyacheslav Tretyachenko, Václav Vorácek, Radko Soucek, Kosuke Fujishima, Klára Hlouchová
CoLiDe: Combinatorial Library Design tool for probing protein sequence space. Bioinform. 37 (4) (2021)