Daniel Selsam

According to our database1, Daniel Selsam authored at least 12 papers between 2014 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
k-Equivalence Relations and Associated Algorithms.
CoRR, 2021

2020
Sealing pointer-based optimizations behind pure functions.
Proc. ACM Program. Lang., 2020

Universal Policies for Software-Defined MDPs.
CoRR, 2020

Automatically Building Diagrams for Olympiad Geometry Problems.
CoRR, 2020

Tabled Typeclass Resolution.
CoRR, 2020

2019
NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions.
CoRR, 2019

Guiding High-Performance SAT Solvers with Unsat-Core Predictions.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Learning a SAT Solver from Single-Bit Supervision.
Proceedings of the 7th International Conference on Learning Representations, 2019

2017
Developing Bug-Free Machine Learning Systems With Formal Mathematics.
Proceedings of the 34th International Conference on Machine Learning, 2017

2016
Data Programming: Creating Large Training Sets, Quickly.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Congruence Closure in Intensional Type Theory.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2014
Venture: a higher-order probabilistic programming platform with programmable inference.
CoRR, 2014


  Loading...