Skip to main content

Showing 1–5 of 5 results for author: Horváth, Z

Searching in archive cs. Search in all archives.
.
  1. arXiv:2205.13909  [pdf, other

    cs.LG cs.AI cs.CR

    (De-)Randomized Smoothing for Decision Stump Ensembles

    Authors: Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev

    Abstract: Tree-based models are used in many high-stakes application domains such as finance and medicine, where robustness and interpretability are of utmost importance. Yet, methods for improving and certifying their robustness are severely under-explored, in contrast to those focusing on neural networks. Targeting this important challenge, we propose deterministic smoothing for decision stump ensembles.… ▽ More

    Submitted 14 November, 2022; v1 submitted 27 May, 2022; originally announced May 2022.

    Comments: NeurIPS 2022 Paper

  2. arXiv:2204.00487  [pdf, other

    cs.LG cs.AI cs.CR

    Robust and Accurate -- Compositional Architectures for Randomized Smoothing

    Authors: Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev

    Abstract: Randomized Smoothing (RS) is considered the state-of-the-art approach to obtain certifiably robust models for challenging tasks. However, current RS approaches drastically decrease standard accuracy on unperturbed data, severely limiting their real-world utility. To address this limitation, we propose a compositional architecture, ACES, which certifiably decides on a per-sample basis whether to us… ▽ More

    Submitted 1 April, 2022; originally announced April 2022.

    Comments: Presented at the ICLR 2022 Workshop on Socially Responsible Machine Learning

  3. arXiv:2201.10887  [pdf, other

    cs.GR

    An Attempt of Adaptive Heightfield Rendering with Complex Interpolants Using Ray Casting

    Authors: Daniel Cornel, Zsolt Horváth, Jürgen Waser

    Abstract: In this technical report, we document our attempt to visualize adaptive heightfields with smooth interpolation using ray casting in real time. The performance of ray casting depends strongly on the used interpolant and its efficient evaluation. Unfortunately, analytical solutions for ray-surface intersections are only given in the literature for very few simple, piece-wise polynomial surfaces. In… ▽ More

    Submitted 26 January, 2022; originally announced January 2022.

    Comments: 9 pages, 3 figures

    Report number: PB-VRVis-2022-002 ACM Class: I.3.7

  4. arXiv:2106.06946  [pdf, other

    cs.LG cs.AI cs.CV

    Boosting Randomized Smoothing with Variance Reduced Classifiers

    Authors: Miklós Z. Horváth, Mark Niklas Müller, Marc Fischer, Martin Vechev

    Abstract: Randomized Smoothing (RS) is a promising method for obtaining robustness certificates by evaluating a base model under noise. In this work, we: (i) theoretically motivate why ensembles are a particularly suitable choice as base models for RS, and (ii) empirically confirm this choice, obtaining state-of-the-art results in multiple settings. The key insight of our work is that the reduced variance o… ▽ More

    Submitted 30 March, 2022; v1 submitted 13 June, 2021; originally announced June 2021.

    Comments: ICLR 2022 Spotlight Paper

  5. Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study

    Authors: Dániel Horpácsi, Judit Kőszegi, Zoltán Horváth

    Abstract: Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true confidence in applying tool-automated refactoring to industrial-scale code. By using our strategic rewriting based refactoring specification language, we present t… ▽ More

    Submitted 23 August, 2017; originally announced August 2017.

    Comments: In Proceedings VPT 2017, arXiv:1708.06887

    Journal ref: EPTCS 253, 2017, pp. 92-108