David L. Dill

Identifiers

No identifiers captured yet.

Papers (3)

1. Learning a SAT Solver from Single-Bit Supervision cs.AI · 2018 · author #6
2. Provably Minimally-Distorted Adversarial Examples cs.LG · 2017 · author #4
3. Developing Bug-Free Machine Learning Systems With Formal Mathematics cs.SE · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniel Selsam 2 shared papers
• Percy Liang 2 shared papers
• Benedikt B\"unz 1 shared papers
• Clark Barrett 1 shared papers
• Guy Katz 1 shared papers
• Leonardo de Moura 1 shared papers
• Matthew Lamm 1 shared papers
• Nicholas Carlini 1 shared papers