{"url":"/task/probabilistic-programming","name":"Probabilistic Programming","slug":"probabilistic-programming","description_markdown":"Probabilistic programming languages are designed to describe probabilistic models and then perform inference in those models. PPLs are closely related to graphical models and Bayesian networks, but are more expressive and flexible.\r\n\r\n<span style=\"color:grey; opacity: 0.6\">( Image credit: [Michael Betancourt](https://betanalpha.github.io/writing/) )</span>","categories":[{"name":"Methodology","url":"/area/methodology"}],"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","slug_source":"derived"},"counts":{"papers_tagged":273,"papers_with_code":92,"benchmarks":0,"benchmark_tables_in_archive":0,"benchmark_tables_shown":0,"benchmark_tables_withheld_as_spam":0,"benchmark_definition":"a leaderboard table with at least one row; benchmark_tables_shown also counts the zero-row tables; benchmark_tables_in_archive adds the tables withheld as spam","datasets":0,"subtasks":0,"parent_tasks":1},"benchmarks":[],"datasets":[],"subtasks":[],"parent_tasks":[{"url":"/task/bayesian-inference","name":"Bayesian Inference"}],"papers":{"order":"repositories listed in the archive (desc), then date (desc); the archive holds no stars","population":"papers tagged with this task that list at least one repository in the archive","shown":30,"of":92,"tagged_in_all":273,"items":[{"url":"/paper/tensorflow-distributions","title":"TensorFlow Distributions","date":"2017-11-28","arxiv_id":"1711.10604","repositories_listed":8,"syntology":null},{"url":"/paper/delayed-sampling-and-automatic-rao","title":"Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs","date":"2017-08-25","arxiv_id":"1708.07787","repositories_listed":5,"syntology":{"n":2,"n_ran":2,"n_unverified":0,"n_pointer_only":0}},{"url":"/paper/inference-compilation-and-universal","title":"Inference Compilation and Universal Probabilistic Programming","date":"2016-10-31","arxiv_id":"1610.09900","repositories_listed":4,"syntology":null},{"url":"/paper/automatic-differentiation-variational","title":"Automatic Differentiation Variational Inference","date":"2016-03-02","arxiv_id":"1603.00788","repositories_listed":4,"syntology":null},{"url":"/paper/the-future-of-cosmological-likelihood-based","title":"The future of cosmological likelihood-based inference: accelerated high-dimensional parameter estimation and model comparison","date":"2024-05-21","arxiv_id":"2405.12965","repositories_listed":3,"syntology":{"n":2,"n_ran":2,"n_unverified":0,"n_pointer_only":2}},{"url":"/paper/symbolicai-a-framework-for-logic-based","title":"SymbolicAI: A framework for logic-based approaches combining generative models and solvers","date":"2024-02-01","arxiv_id":"2402.00854","repositories_listed":3,"syntology":null},{"url":"/paper/composable-effects-for-flexible-and","title":"Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro","date":"2019-12-24","arxiv_id":"1912.11554","repositories_listed":3,"syntology":{"n":26,"n_ran":1,"n_unverified":25,"n_pointer_only":0}},{"url":"/paper/etalumis-bringing-probabilistic-programming","title":"Etalumis: Bringing Probabilistic Programming to Scientific Simulators at Scale","date":"2019-07-08","arxiv_id":"1907.03382","repositories_listed":3,"syntology":{"n":12,"n_ran":0,"n_unverified":12,"n_pointer_only":0}},{"url":"/paper/an-introduction-to-probabilistic-programming","title":"An Introduction to Probabilistic Programming","date":"2018-09-27","arxiv_id":"1809.10756","repositories_listed":3,"syntology":null},{"url":"/paper/efficient-probabilistic-inference-in-the","title":"Efficient Probabilistic Inference in the Quest for Physics Beyond the Standard Model","date":"2018-07-20","arxiv_id":"1807.07706","repositories_listed":3,"syntology":null},{"url":"/paper/simplifying-debiased-inference-via-automatic","title":"Simplifying debiased inference via automatic differentiation and probabilistic programming","date":"2024-05-14","arxiv_id":"2405.08675","repositories_listed":2,"syntology":null},{"url":"/paper/sequential-monte-carlo-steering-of-large","title":"Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs","date":"2023-06-05","arxiv_id":"2306.03081","repositories_listed":2,"syntology":{"n":7,"n_ran":2,"n_unverified":5,"n_pointer_only":0}},{"url":"/paper/scenic-a-language-for-scenario-specification","title":"Scenic: A Language for Scenario Specification and Data Generation","date":"2020-10-13","arxiv_id":"2010.06580","repositories_listed":2,"syntology":null},{"url":"/paper/vae-encoding-stochastic-process-priors-with","title":"$π$VAE: a stochastic process prior for Bayesian deep learning with MCMC","date":"2020-02-17","arxiv_id":"2002.06873","repositories_listed":2,"syntology":null},{"url":"/paper/dynamicppl-stan-like-speed-for-dynamic","title":"DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models","date":"2020-02-07","arxiv_id":"2002.02702","repositories_listed":2,"syntology":null},{"url":"/paper/automatic-structured-variational-inference","title":"Automatic structured variational inference","date":"2020-02-03","arxiv_id":"2002.00643","repositories_listed":2,"syntology":null},{"url":"/paper/sinkhorn-autoencoders","title":"Sinkhorn AutoEncoders","date":"2018-10-02","arxiv_id":"1810.01118","repositories_listed":2,"syntology":null},{"url":"/paper/scenic-language-based-scene-generation","title":"Scenic: A Language for Scenario Specification and Scene Generation","date":"2018-09-25","arxiv_id":"1809.09310","repositories_listed":2,"syntology":null},{"url":"/paper/hamiltonian-monte-carlo-inference-of","title":"Hamiltonian Monte Carlo Inference of Marginalized Linear Mixed-Effects Models","date":"2024-10-31","arxiv_id":"2410.24079","repositories_listed":1,"syntology":null},{"url":"/paper/markov-senior-learning-markov-junior-grammars","title":"Markov Senior -- Learning Markov Junior Grammars to Generate User-specified Content","date":"2024-08-12","arxiv_id":"2408.05959","repositories_listed":1,"syntology":null},{"url":"/paper/blackjax-composable-bayesian-inference-in-jax","title":"BlackJAX: Composable Bayesian inference in JAX","date":"2024-02-16","arxiv_id":"2402.10797","repositories_listed":1,"syntology":{"n":10,"n_ran":6,"n_unverified":4,"n_pointer_only":0}},{"url":"/paper/diffusion-models-for-probabilistic-1","title":"Diffusion models for probabilistic programming","date":"2023-11-01","arxiv_id":"2311.00474","repositories_listed":1,"syntology":null},{"url":"/paper/scaling-integer-arithmetic-in-probabilistic","title":"Scaling Integer Arithmetic in Probabilistic Programs","date":"2023-07-25","arxiv_id":"2307.13837","repositories_listed":1,"syntology":null},{"url":"/paper/from-word-models-to-world-models-translating","title":"From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought","date":"2023-06-22","arxiv_id":"2306.12672","repositories_listed":1,"syntology":null},{"url":"/paper/scalable-neural-probabilistic-answer-set","title":"Scalable Neural-Probabilistic Answer Set Programming","date":"2023-06-14","arxiv_id":"2306.08397","repositories_listed":1,"syntology":{"n":3,"n_ran":3,"n_unverified":0,"n_pointer_only":0}},{"url":"/paper/pus-mathbb-h-concurrent-probabilistic","title":"Push: Concurrent Probabilistic Programming for Bayesian Deep Learning","date":"2023-06-10","arxiv_id":"2306.06528","repositories_listed":1,"syntology":null},{"url":"/paper/automating-model-comparison-in-factor-graphs","title":"Automating Model Comparison in Factor Graphs","date":"2023-06-09","arxiv_id":"2306.05965","repositories_listed":1,"syntology":null},{"url":"/paper/bayesian-calibration-of-mems-accelerometers","title":"Bayesian Calibration of MEMS Accelerometers","date":"2023-06-09","arxiv_id":"2306.06144","repositories_listed":1,"syntology":null},{"url":"/paper/exact-bayesian-inference-on-discrete-models","title":"Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach","date":"2023-05-26","arxiv_id":"2305.17058","repositories_listed":1,"syntology":{"n":1,"n_ran":0,"n_unverified":1,"n_pointer_only":0}},{"url":"/paper/black-box-variational-inference-with-a","title":"Black Box Variational Inference with a Deterministic Objective: Faster, More Accurate, and Even More Black Box","date":"2023-04-11","arxiv_id":"2304.05527","repositories_listed":1,"syntology":{"n":4,"n_ran":0,"n_unverified":4,"n_pointer_only":0}}],"syntology_records":9,"syntology_note":"a paper without a record is not a recorded non-run: it may lack an arXiv id or simply be absent from the graph layer"},"description_links":{"kept":0,"unwrapped_to_text":0,"bare_urls_linked":0,"relative_images_dropped":0,"rule":"internal links are kept only when the target slug exists in the catalog"},"syntology":{"read_at":"2026-09-24T18:15:14+00:00","claim":"Per-sample execution status on synthesized fixtures ('ran N of M samples'); not a correctness claim and not a ranking signal.","status_vocabulary":{"ran_honours":"ran, honoured the contract we drafted","ran_violates":"ran, violated the contract we drafted","ran_draft_wrong":"ran; our contract draft was wrong, not the code","ran_fixture":"ran; our fixture could not drive it","ran":"ran on a synthesized input","unverified":"unverified (harvested, no recorded run)"}},"not_shown":{"libraries":"the archive has no per-task library table","trend_sparklines":"the Trend column of the benchmarks table was a rendered image; it is not in the archive","social_and_latest_sorts":"stars and social signals are not in the archive"}}