LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models. Zhou, Y., Gram-Hansen, B. J, Kohn, T., Rainforth, T., Yang, H., & Wood, F. In Proceedings of the Twentieth International Conference on Artificial Intelligence and Statistics (AISTATS), 2019.
Paper
Arxiv abstract bibtex We develop a new Low-level, First-order Probabilistic Programming Language (LF-PPL) suited for models containing a mix of continuous, discrete, and/or piecewise-continuous variables. The key success of this language and its compilation scheme is in its ability to automatically distinguish parameters the density function is discontinuous with respect to, while further providing runtime checks for boundary crossings. This enables the introduction of new inference engines that are able to exploit gradient information, while remaining efficient for models which are not everywhere differentiable. We demonstrate this ability by incorporating a discontinuous Hamiltonian Monte Carlo (DHMC) inference engine that is able to deliver automated and efficient inference for non-differentiable models. Our system is backed up by a mathematical formalism that ensures that any model expressed in this language has a density with measure zero discontinuities to maintain the validity of the inference engine.
@inproceedings{ZHO-19,
title={{LF-PPL}: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models},
author={Zhou, Yuan and Gram-Hansen, Bradley J and Kohn, Tobias and Rainforth, Tom and Yang, Hongseok and Wood, Frank},
booktitle={Proceedings of the Twentieth International Conference on Artificial Intelligence and Statistics (AISTATS)},
year={2019},
archiveprefix = {arXiv},
eprint = {1903.02482},
support = {D3M},
url_Paper={https://arxiv.org/pdf/1903.02482.pdf},
url_ArXiv={https://arxiv.org/abs/1903.02482},
abstract={We develop a new Low-level, First-order Probabilistic Programming Language (LF-PPL) suited for models containing a mix of continuous, discrete, and/or piecewise-continuous variables. The key success of this language and its compilation scheme is in its ability to automatically distinguish parameters the density function is discontinuous with respect to, while further providing runtime checks for boundary crossings. This enables the introduction of new inference engines that are able to exploit gradient information, while remaining efficient for models which are not everywhere differentiable. We demonstrate this ability by incorporating a discontinuous Hamiltonian Monte Carlo (DHMC) inference engine that is able to deliver automated and efficient inference for non-differentiable models. Our system is backed up by a mathematical formalism that ensures that any model expressed in this language has a density with measure zero discontinuities to maintain the validity of the inference engine.}
}
Downloads: 0
{"_id":"H2xh3Jq5Mb4N8G2KY","bibbaseid":"zhou-gramhansen-kohn-rainforth-yang-wood-lfpplalowlevelfirstorderprobabilisticprogramminglanguagefornondifferentiablemodels-2019","authorIDs":["5e309447cb949bdf01000179"],"author_short":["Zhou, Y.","Gram-Hansen, B. J","Kohn, T.","Rainforth, T.","Yang, H.","Wood, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models","author":[{"propositions":[],"lastnames":["Zhou"],"firstnames":["Yuan"],"suffixes":[]},{"propositions":[],"lastnames":["Gram-Hansen"],"firstnames":["Bradley","J"],"suffixes":[]},{"propositions":[],"lastnames":["Kohn"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Rainforth"],"firstnames":["Tom"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Hongseok"],"suffixes":[]},{"propositions":[],"lastnames":["Wood"],"firstnames":["Frank"],"suffixes":[]}],"booktitle":"Proceedings of the Twentieth International Conference on Artificial Intelligence and Statistics (AISTATS)","year":"2019","archiveprefix":"arXiv","eprint":"1903.02482","support":"D3M","url_paper":"https://arxiv.org/pdf/1903.02482.pdf","url_arxiv":"https://arxiv.org/abs/1903.02482","abstract":"We develop a new Low-level, First-order Probabilistic Programming Language (LF-PPL) suited for models containing a mix of continuous, discrete, and/or piecewise-continuous variables. The key success of this language and its compilation scheme is in its ability to automatically distinguish parameters the density function is discontinuous with respect to, while further providing runtime checks for boundary crossings. This enables the introduction of new inference engines that are able to exploit gradient information, while remaining efficient for models which are not everywhere differentiable. We demonstrate this ability by incorporating a discontinuous Hamiltonian Monte Carlo (DHMC) inference engine that is able to deliver automated and efficient inference for non-differentiable models. Our system is backed up by a mathematical formalism that ensures that any model expressed in this language has a density with measure zero discontinuities to maintain the validity of the inference engine.","bibtex":"@inproceedings{ZHO-19,\n title={{LF-PPL}: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models},\n author={Zhou, Yuan and Gram-Hansen, Bradley J and Kohn, Tobias and Rainforth, Tom and Yang, Hongseok and Wood, Frank},\n booktitle={Proceedings of the Twentieth International Conference on Artificial Intelligence and Statistics (AISTATS)},\n year={2019},\n archiveprefix = {arXiv},\n eprint = {1903.02482},\n support = {D3M},\n url_Paper={https://arxiv.org/pdf/1903.02482.pdf},\n url_ArXiv={https://arxiv.org/abs/1903.02482},\n abstract={We develop a new Low-level, First-order Probabilistic Programming Language (LF-PPL) suited for models containing a mix of continuous, discrete, and/or piecewise-continuous variables. The key success of this language and its compilation scheme is in its ability to automatically distinguish parameters the density function is discontinuous with respect to, while further providing runtime checks for boundary crossings. This enables the introduction of new inference engines that are able to exploit gradient information, while remaining efficient for models which are not everywhere differentiable. We demonstrate this ability by incorporating a discontinuous Hamiltonian Monte Carlo (DHMC) inference engine that is able to deliver automated and efficient inference for non-differentiable models. Our system is backed up by a mathematical formalism that ensures that any model expressed in this language has a density with measure zero discontinuities to maintain the validity of the inference engine.}\n}\n\n","author_short":["Zhou, Y.","Gram-Hansen, B. J","Kohn, T.","Rainforth, T.","Yang, H.","Wood, F."],"key":"ZHO-19","id":"ZHO-19","bibbaseid":"zhou-gramhansen-kohn-rainforth-yang-wood-lfpplalowlevelfirstorderprobabilisticprogramminglanguagefornondifferentiablemodels-2019","role":"author","urls":{" paper":"https://arxiv.org/pdf/1903.02482.pdf"," arxiv":"https://arxiv.org/abs/1903.02482"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/plai-group/bibliography/master/group_publications.bib","creationDate":"2020-01-28T20:10:21.489Z","downloads":0,"keywords":[],"search_terms":["ppl","low","level","first","order","probabilistic","programming","language","non","differentiable","models","zhou","gram-hansen","kohn","rainforth","yang","wood"],"title":"LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models","year":2019,"dataSources":["7avRLRrz2ifJGMKcD","BKH7YtW7K7WNMA3cj","wyN5DxtoT6AQuiXnm"]}