UDL-19

Dependent Type Networks: A Probabilistic Logic via the Curry-Howard Correspondence in a System of Probabilistic Dependent Types

J Warrell, MB Gerstein (2018). Uncertainty in Artificial Intelligence Workshop on Uncertainty in Deep Learning.

 

preprint

 

 

---

View all citation information
Return to papers index