Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make it possible to separate the concerns
between probabilistic models and Bayesian inference algorithms. However, to make such …
between probabilistic models and Bayesian inference algorithms. However, to make such …
Inference Plans for Hybrid Particle Filtering
Advanced probabilistic programming languages (PPLs) use hybrid inference systems to
combine symbolic exact inference and Monte Carlo methods to improve inference …
combine symbolic exact inference and Monte Carlo methods to improve inference …
Verifying Performance Properties of Probabilistic Inference
In this extended abstract, we discuss the opportunity to formally verify that inference systems
for probabilistic programming guarantee good performance. In particular, we focus on hybrid …
for probabilistic programming guarantee good performance. In particular, we focus on hybrid …
Systematic Literature Review on Machine Learning and its Impact on APIs Deployment
J Rojas Valdivia, J Gamboa-Cruzado… - Computación y …, 2023 - scielo.org.mx
Machine Learning is being used worldwide in the deployment of API's (Application
Programming Interface). The development of machine learning presents: techniques …
Programming Interface). The development of machine learning presents: techniques …
Inference Plans for Hybrid Probabilistic Inference
EY Cheng - 2024 - dspace.mit.edu
Advanced probabilistic programming languages (PPLs) use hybrid inference systems to
combine symbolic exact inference and Monte Carlo sampling to improve inference …
combine symbolic exact inference and Monte Carlo sampling to improve inference …
[PDF][PDF] Schedule Agnostic Semantics for Reactive Probabilistic Programming
Synchronous languages are now a standard industry tool for critical embedded systems.
Designers write highlevel specifications by composing streams of values using block …
Designers write highlevel specifications by composing streams of values using block …
[PDF][PDF] A Complete Bibliography of Proceedings of the ACM on Programming Languages (PACMPL)
NHF Beebe - 2024 - netlib.sandia.gov
Abstract [BGMW20, BCE+23, BGG+20, Cou24, EDM23, GFV23, KEH23, Lem23, MZB24,
MFSV23, PWD24, YLY23, BCD22, CDG22, Cra19, FSSW22, FS22, JTD21, KMD+22 …
MFSV23, PWD24, YLY23, BCD22, CDG22, Cra19, FSSW22, FS22, JTD21, KMD+22 …