Alban Desmaison

5 papers · 2016–2020 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird 👥 Mega-Team · Squad

🧭 Keyword Pioneer

Venues

NeurIPS (3) CVPR (1) UAI (1)

Top co-authors

Pushmeet Kohli (3) Philip Torr (3) M. Pawan Kumar (2) Rudy Bunel (2) Jan-Willem van de Meent (1) Rudy R Bunel (1) Edward Yang (1) Francisco Massa (1) Krishnamurthy Dvijotham (1) Noah Goodman (1)

Research topics

Machine Learning (5) Optimization & Theory (4) Deep Learning (3) Artificial Intelligence (1) Computer Vision (1) Analysis (1) Application Areas (1) Architectures (1) Core AI (1) Core Methods (1) Learning Types · Machine Learning (1) Learning Types · Deep Learning (1) Models (1) Techniques (1)

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 NeurIPS 2019 Efficient Linear Programming for Dense CRFs CVPR 2017 Learning Disentangled Representations with Semi-Supervised Deep Generative Models NeurIPS 2017 Adaptive Neural Compilation NeurIPS 2016