Alban Desmaison
5 papers · 2016–2020 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (3) π Interdisciplinary Bridge π Cross-Pollinator (13)
πΊοΈ
Taxonomy Completionist
(13)
π₯
Mega-Team
(21)
Conferences
NIPS (3)
CVPR (1)
UAI (1)
Top co-authors
Keywords
semantic segmentation
(1)
semi-supervised learning
(1)
convex optimization
(1)
automatic differentiation
(1)
formal verification
(1)
linear programming
(1)
differentiable programming
(1)
block coordinate descent
(1)
generative model
(1)
graphical model
(1)
disentangled representation
(1)
variational autoencoder
(1)
neural network verification
(1)
runtime optimization
(1)
gpu acceleration
(1)
hardware accelerator
(1)
conditional random field
(1)
deep learning framework
(1)
code optimization
(1)
bound computation
(1)
Papers
Lagrangian Decomposition for Neural Network Verification
UAI 2020
PyTorch: An Imperative Style, High-Performance Deep Learning Library
NIPS 2019
Learning Disentangled Representations with Semi-Supervised Deep Generative Models
NIPS 2017
Efficient Linear Programming for Dense CRFs
CVPR 2017
Adaptive Neural Compilation
NIPS 2016