16 citations · 19 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
An Application of Computable Distributions to the Semantics of Probabilistic Programs
Daniel Huang, Greg Morrisett, Bas Spitters
In this chapter, we explore how (Type-2) computable distributions can be used to give both (algorithmic) sampling and distributional semantics to probabilistic programs with contin…
cs.LG2018
GamePad: A Learning Environment for Theorem Proving
Daniel Huang, Prafulla Dhariwal, Dawn Song +1
In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interacti…