Search Results for author: Tomas Pevny

Found 14 papers, 5 papers with code

Generating Likely Counterfactuals Using Sum-Product Networks

no code implementations25 Jan 2024 Jiri Nemecek, Tomas Pevny, Jakub Marecek

We show that the search for the most likely explanations satisfying many common desiderata for counterfactual explanations can be modeled using mixed-integer optimization (MIO).

counterfactual Counterfactual Explanation

Improving the Validity of Decision Trees as Explanations

1 code implementation11 Jun 2023 Jiri Nemecek, Tomas Pevny, Jakub Marecek

Here, we train a shallow tree with the objective of minimizing the maximum misclassification error across each leaf node.

valid

A Differentiable Loss Function for Learning Heuristics in A*

no code implementations12 Sep 2022 Leah Chrestien, Tomas Pevny, Antonin Komenda, Stefan Edelkamp

Optimization of heuristic functions for the A* algorithm, realized by deep neural networks, is usually done by minimizing square root loss of estimate of the cost to goal values.

When Should You Defend Your Classifier -- A Game-theoretical Analysis of Countermeasures against Adversarial Examples

no code implementations17 Aug 2021 Maximilian Samsinger, Florian Merkle, Pascal Schöttle, Tomas Pevny

Adversarial machine learning, i. e., increasing the robustness of machine learning algorithms against so-called adversarial examples, is now an established field.

BIG-bench Machine Learning

Mill.jl and JsonGrinder.jl: automated differentiable feature extraction for learning from raw JSON data

4 code implementations19 May 2021 Simon Mandlik, Matej Racinsky, Viliam Lisy, Tomas Pevny

Learning from raw data input, thus limiting the need for manual feature engineering, is one of the key components of many successful applications of machine learning methods.

BIG-bench Machine Learning Feature Engineering

Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks

no code implementations19 Apr 2021 Simon Mandlik, Tomas Pevny

Even though machine learning algorithms already play a significant role in data science, many current methods pose unrealistic assumptions on input data.

Sum-Product-Transform Networks: Exploiting Symmetries using Invertible Transformations

2 code implementations4 May 2020 Tomas Pevny, Vasek Smidl, Martin Trapp, Ondrej Polacek, Tomas Oberhuber

In this work, we propose Sum-Product-Transform Networks (SPTN), an extension of sum-product networks that uses invertible transformations as additional internal nodes.

Anomaly Detection Density Estimation

Joint Detection of Malicious Domains and Infected Clients

no code implementations21 Jun 2019 Paul Prasse, Rene Knaebel, Lukas Machlica, Tomas Pevny, Tobias Scheffer

Detection of malware-infected computers and detection of malicious web domains based on their encrypted HTTPS traffic are challenging problems, because only addresses, timestamps, and data volumes are observable.

Transfer Learning

Approximation capability of neural networks on spaces of probability measures and tree-structured domains

no code implementations3 Jun 2019 Tomas Pevny, Vojtech Kovarik

This paper extends the proof of density of neural networks in the space of continuous (or even measurable) functions on Euclidean spaces to functions on compact sets of probability measures.

AutoML

Algorithms for solving optimization problems arising from deep neural net models: nonsmooth problems

no code implementations30 Jun 2018 Vyacheslav Kungurtsev, Tomas Pevny

Machine Learning models incorporating multiple layered learning networks have been seen to provide effective models for various classification problems.

BIG-bench Machine Learning General Classification

Algorithms for solving optimization problems arising from deep neural net models: smooth problems

no code implementations30 Jun 2018 Vyacheslav Kungurtsev, Tomas Pevny

Machine Learning models incorporating multiple layered learning networks have been seen to provide effective models for various classification problems.

BIG-bench Machine Learning General Classification

Discriminative models for multi-instance problems with tree-structure

3 code implementations7 Mar 2017 Tomas Pevny, Petr Somol

We show the classifier to perform with very high precision, while the learned traffic patterns can be interpreted as Indicators of Compromise.

Using Neural Network Formalism to Solve Multiple-Instance Problems

3 code implementations23 Sep 2016 Tomas Pevny, Petr Somol

Many objects in the real world are difficult to describe by a single numerical vector of a fixed length, whereas describing them by a set of vectors is more natural.

Multiple Instance Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.