Dill, David L.
- Learning a SAT Solver from Single-Bit Supervision
2018/02/11 by Daniel Selsam, Selsam, Daniel, Matthew Lamm +9 · 1 voice · 54 citations
Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Software Engineering Research #Auction Theory and Applications
- Developing Bug-Free Machine Learning Systems With Formal Mathematics
2017/06/26 by Daniel Selsam, Selsam, Daniel, Percy Liang +3 · 2 voices · 2 citations
Computer Science · #Computability, Logic, AI Algorithms #Parallel Computing and Optimization Techniques #Machine Learning and Algorithms
- Provably Minimally-Distorted Adversarial Examples
2017/09/29 by Nicholas Carlini, Guy Katz, Carlini, Nicholas +5 · 21 citations
Computer Science · #Adversarial Robustness in Machine Learning
- Resources: A Safe Language Abstraction for Money
2020/04/10 by Sam Blackshear, David L. Dill, Blackshear, Sam +11 · 1 citation
Computer Science · Decision Sciences · #Blockchain Technology Applications and Security #FOS: Computer and information sciences #Programming Languages (cs.PL) #Stock Market Forecasting Methods