LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Modelscs.LG
Develops LF-PPL for non-differentiable models with automatic boundary checks.
problem Handling non-differentiable models in probabilistic programming.
method Introduces LF-PPL with automatic boundary checks and a formalism ensuring measure zero discontinuities.
result Demonstrates efficient inference for non-differentiable models using DHMC.