Showing results 4 to 4 of 4
Towards verified stochastic variational inference for probabilistic programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, The 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), Association for Computing Machinery, 2020-01-22 |
Discover