28 citations · 33 across the 2 of their papers we have counts for
4 papers
Sealing Pointer-Based Optimizations Behind Pure Functions
Daniel Selsam, Simon Hudon, Leonardo de Moura
Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive t…
Tabled Typeclass Resolution
Daniel Selsam, Sebastian Ullrich, Leonardo de Moura
Typeclasses provide an elegant and effective way of managing ad-hoc polymorphism in both programming languages and interactive proof assistants. However, the increasingly sophistic…
Guiding High-Performance SAT Solvers with Unsat-Core Predictions
Daniel Selsam, Nikolaj Bjørner
The NeuroSAT neural network architecture was recently introduced for predicting properties of propositional formulae. When trained to predict the satisfiability of toy problems, it…
Developing Bug-Free Machine Learning Systems With Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result, detecting actual im…