2 code implementations • 30 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.
Ranked #1 on Density Estimation on MNIST
1 code implementation • 5 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.
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.
no code implementations • 7 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
5 code implementations • 25 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.
Ranked #2 on Graph Matching on PASCAL VOC
1 code implementation • 7 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.
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.