Write a Blog >>
Hongseok Yang

Registered user since Sat 13 Feb 2016

Name:Hongseok Yang
Country:South Korea
Affiliation:KAIST
Research interests:Programming Languages, Program Analysis, Probabilistic Programming, Machine Learning, Probability Theory

Contributions

POPL 2020 Towards Verified Stochastic Variational Inference for Probabilistic Programs
Probabilistic Programming
LAFI 2020 Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
Show activities from other conferences

POPL 2020-profile
View general profile