Optimal strategies for reject option classifiers V Franc, D Prusa, V Voracek JMLR 24 (11), 1-49, 2023 | 20 | 2023 |
CoLiDe: Combinatorial Library Design tool for probing protein sequence space V Tretyachenko, V Voráček, R Souček, K Fujishima, K Hlouchová Bioinformatics 37 (4), 482-489, 2021 | 12 | 2021 |
Provably Adversarially Robust Nearest Prototype Classifiers V Voráček, M Hein ICML 2022, 2022 | 9 | 2022 |
Generalised Kochen–Specker theorem in three dimensions V Voráček, M Navara Foundations of Physics 51 (3), 67, 2021 | 5* | 2021 |
A symmetric-difference-closed orthomodular lattice that is stateless V Voráček, P Pták Order 40 (2), 397-402, 2023 | 3 | 2023 |
Improving l1-Certified Robustness via Randomized Smoothing by Leveraging Box Constraints V Voracek, M Hein ICML 2023, 2023 | 3 | 2023 |
What Would an Alien Amino Acid Alphabet Look Like and Why? SM Brown, V Voráček, S Freeland Astrobiology 23 (5), 536-549, 2023 | 3 | 2023 |
Sound randomized smoothing in floating-point arithmetics V Voráček, M Hein ICLR 2023, 2022 | 3 | 2022 |
Tight bounds for local glivenko-cantelli M Blanchard, V Voracek International Conference on Algorithmic Learning Theory, 179-220, 2024 | 2 | 2024 |
Quantum structures without group-valued measures M Navara, V Voráček International Journal of Theoretical Physics 60 (2), 687-695, 2021 | 1 | 2021 |
Stateless quantum structures and extremal graph theory V Voràček Reports on Mathematical Physics 86 (2), 175-185, 2020 | 1 | 2020 |
Convergence of Some Convex Message Passing Algorithms to a Fixed Point V Voracek, T Werner arXiv preprint arXiv:2403.07004, 2024 | | 2024 |