Search Results for author: Vít Musil

Found 7 papers, 5 papers with code

Backpropagation through Combinatorial Algorithms: Identity with Projection Works

2 code implementations30 May 2022 Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vít Musil, Volodymyr Kuleshov, Georg Martius

Embedding discrete solvers as differentiable layers has given modern deep learning architectures combinatorial expressivity and discrete reasoning capabilities.

Density Estimation Graph Matching +3

CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints

1 code implementation5 May 2021 Anselm Paulus, Michal Rolínek, Vít Musil, Brandon Amos, Georg Martius

Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact.

Fit The Right NP-Hard Problem: End-to-end Learning of Integer Programming Constraints

no code implementations NeurIPS Workshop LMCA 2020 Anselm Paulus, Michal Rolinek, Vít Musil, Brandon Amos, Georg Martius

Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact.

Sharp exponential inequalities for the Ornstein-Uhlenbeck operator

no code implementations7 Oct 2020 Andrea Cianchi, Vít Musil, Luboš Pick

The optimal constants in a class of exponential type inequalities for the Ornstein-Uhlenbeck operator in the Gauss space are detected.

Functional Analysis 46E35, 28C20

Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers

5 code implementations25 Mar 2020 Michal Rolínek, Paul Swoboda, Dominik Zietlow, Anselm Paulus, Vít Musil, Georg Martius

Building on recent progress at the intersection of combinatorial optimization and deep learning, we propose an end-to-end trainable architecture for deep graph matching that contains unmodified combinatorial solvers.

Combinatorial Optimization Graph Matching

Optimizing Rank-based Metrics with Blackbox Differentiation

1 code implementation7 Dec 2019 Michal Rolínek, Vít Musil, Anselm Paulus, Marin Vlastelica, Claudio Michaelis, Georg Martius

Rank-based metrics are some of the most widely used criteria for performance evaluation of computer vision models.

Image Retrieval object-detection +2

Differentiation of Blackbox Combinatorial Solvers

6 code implementations ICLR 2020 Marin Vlastelica, Anselm Paulus, Vít Musil, Georg Martius, Michal Rolínek

Achieving fusion of deep learning with combinatorial algorithms promises transformative changes to artificial intelligence.

Traveling Salesman Problem

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