According to our database1, Daniel Selsam authored at least 12 papers between 2014 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
Proceedings of the 34th International Conference on Machine Learning, 2017
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
Venture: a higher-order probabilistic programming platform with programmable inference.