발행물

전체 논문

150

31

Towards Verified Stochastic Variational Inference for Probabilistic Programs
Wonyeol Lee, Hangyeol Yu, Xavier Rival, Hongseok Yang
POPL 2020, 2020

32

Trust Region Sequential Variational Inference
Geon-Hyeong Kim, Youngsoo Jang, Jongmin Lee, Wonseok Jeon, Hongseok Yang, Kee-Eung Kim
ACML 2019, 2019.11

33

Some Semantic Issues in Probabilistic Programming Languages
Hongseok Yang
Extended abstract of my FSCD'19 invited talk, 2019.06

34

Resource-aware Program Analysis via Online Abstraction Coarsening
Kihong Heo, Hakjoo Oh, Hongseok Yang
ICSE 2019, 2019.05

35

LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models
Yuan Zhou, Bradley Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, Frank Wood
AISTATS 2019, 2019.04

36

Reparameterization Gradient for Non-differentiable Models
Wonyeol Lee, Hangyeol Yu, Hongseok Yang
NIPS 2018, 2018.12

37

On Nesting Monte Carlo Estimators
Tom Rainforth, Rob Cornish, Hongseok Yang, Andrew Warrington, Frank Wood
ICML 2018, 2018.07

38

The Beta-Bernoulli Process and Algebraic Effects
Sam Staton, Dario Stein, Hongseok Yang, Nathanael Ackerman, Cameron Freer, Daniel M. Roy
ICALP 2018, 2018.07

39

Denotational Validation of Higher-Order Bayesian Inference
Adam Scibior, Ohad Kammar, Matthijs Vakar, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahrahmani
POPL 2018, 2018

40

The Semantic Structure of Quasi-Borel Spaces
Chris Heunen, Ohad Kammar, Sean Moss, Adam Scibior, Sam Staton, Matthijs Vakar, Hongseok Yang
Workshop on Probabilistic Programming Semantics (PPS 2018), 2018