Browse "School of Computing(전산학부)" by Author Yu, Hangyeol
Showing results 3 to 5 of 5
| 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 |
| Towards Verified Stochastic Variational Inference for Probabilistic Programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
| Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,773 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989