Browse "School of Computing(전산학부)" by Author Yu, Hangyeol

Showing results 1 to 5 of 5

1
On correctness of automatic differentiation for non-differentiable functions

Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, The 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Neural information processing systems foundation, 2020-12-08

2
Reparameterization gradient for non-differentiable models

Lee, Wonyeol; Yu, Hangyeol; Yang, Hongseok, The 32nd Conference on Neural Information Processing Systems (NeurIPS 2018), pp.5553 - 5563, Neural information processing systems foundation, 2018-12-06

3
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

4
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

5
Verifying well-definedness of variational objectives for probabilistic programs = 확률적 프로그램의 잘 정의된 변분 목적 함수 검증link

Yu, Hangyeol; Yang, Hongseok; et al, 한국과학기술원, 2020

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0