Skip to content
conftrace_

Daniel Selsam

3 papers · 2016–2019 · 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 ↓
🌍 Conference Polyglot · Bronze 🐣 Hot Topic Early Bird

Venues

ICLR (1) ICML (1) NeurIPS (1)

Top co-authors

David L. Dill (2) Percy Liang (2) Christopher M De Sa (1) Christopher Re (1) Alexander J Ratner (1) Sen Wu (1) Matthew Lamm (1) Benedikt B\"{u}nz (1) Leonardo de Moura (1)

Research topics

Artificial Intelligence (2) Machine Learning (2) Computer Science (1) Deep Learning (1) Applications (1) Architectures (1) Bayesian & Probabilistic · Artificial Intelligence (1) Bayesian & Probabilistic · Machine Learning (1) Core AI (1) Core Methods (1) Learning Types (1) Optimization & Theory (1)

Keywords

weakly supervised learning (1) formal verification (1) message passing (1) label noise (1) generative model (1) variational autoencoder (1) noise-aware learning (1) stochastic computation graph (1) programmatic labeling (1) data programming (1) neural network (1) proof assistant (1) unbiased gradient estimation (1)

Papers

Learning a SAT Solver from Single-Bit Supervision ICLR 2019 Developing Bug-Free Machine Learning Systems With Formal Mathematics ICML 2017 Data Programming: Creating Large Training Sets, Quickly NeurIPS 2016