Browse State-of-the-Art › Probabilistic Programming › Papers, page 2

Probabilistic Programming

Papers archive 2025-07-28

archive papers tagged: 273 · with a code link: 92 · where Syntology ran a sample: 19 (15 with a run with no instrument failure, 4 where every run was a failure of Syntology's instrument) Syntology

Show: all tagged papersonly where code ran (19 of 273 tagged: 15 with a run with no instrument failure, 4 where every run was a failure of Syntology's instrument)

Page 2 of 3: papers 101 to 200 of 273, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.

Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.

• Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features
  23 Jul 2024 0 repositories listed
• Querying Labeled Time Series Data with Scenario Programs
  25 Jun 2024 0 repositories listed
• Probabilistic Programming with Programmable Variational Inference
  22 Jun 2024 0 repositories listed
• Data Petri Nets meet Probabilistic Programming (Extended version)
  12 Jun 2024 0 repositories listed
• ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
  3 May 2024 0 repositories listed
• COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Manipulation Under Uncertainty
  21 Mar 2024 0 repositories listed
• Automated Efficient Estimation using Monte Carlo Efficient Influence Functions
  29 Feb 2024 0 repositories listed
• Efficient Incremental Belief Updates Using Weighted Virtual Observations
  10 Feb 2024 0 repositories listed
• Statistical Learning of Conjunction Data Messages Through a Bayesian Non-Homogeneous Poisson Process
  9 Nov 2023 0 repositories listed
• Worst-Case Analysis is Maximum-A-Posteriori Estimation
  15 Oct 2023 0 repositories listed
• Inferring Capabilities from Task Performance with Bayesian Triangulation
  21 Sep 2023 0 repositories listed
• Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
  13 Sep 2023 0 repositories listed
• From Probabilistic Programming to Complexity-based Programming
  28 Jul 2023 0 repositories listed
• Towards an architectural framework for intelligent virtual agents using probabilistic programming
  20 Jul 2023 0 repositories listed
• A Heavy-Tailed Algebra for Probabilistic Programming
  15 Jun 2023 0 repositories listed
• String Diagrams with Factorized Densities
  4 May 2023 0 repositories listed
• Dimensionality Reduction as Probabilistic Inference
  15 Apr 2023 0 repositories listed
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
  16 Mar 2023 0 repositories listed
• Neural Probabilistic Logic Programming in Discrete-Continuous Domains
  8 Mar 2023 0 repositories listed
• Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
  21 Feb 2023 0 repositories listed
• ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
  21 Feb 2023 0 repositories listed
• Incorporating Expert Opinion on Observable Quantities into Statistical Models -- A General Framework
  10 Feb 2023 0 repositories listed
• Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
  9 Jan 2023 0 repositories listed
• When Bioprocess Engineering Meets Machine Learning: A Survey from the Perspective of Automated Bioprocess Development
  2 Sep 2022 0 repositories listed
• Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming
  26 Aug 2022 0 repositories listed
• Multi-Model Probabilistic Programming
  12 Aug 2022 0 repositories listed
• Proceedings 38th International Conference on Logic Programming
  4 Aug 2022 0 repositories listed
• Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models
  20 Jul 2022 0 repositories listed
• Tensor Program Optimization with Probabilistic Programs
  26 May 2022 0 repositories listed
• Designing Perceptual Puzzles by Differentiating Probabilistic Programs
  26 Apr 2022 0 repositories listed
• Program Analysis of Probabilistic Programs
  14 Apr 2022 0 repositories listed
• Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
  6 Apr 2022 0 repositories listed
• A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
  30 Mar 2022 0 repositories listed
• Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectives
  30 Mar 2022 0 repositories listed
• Compartmental Models for COVID-19 and Control via Policy Interventions
  6 Mar 2022 0 repositories listed
• A Probabilistic Programming Idiom for Active Knowledge Search
  19 Feb 2022 0 repositories listed
• Weighted Programming
  15 Feb 2022 0 repositories listed
• Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
  19 Jan 2022 0 repositories listed
• Surrogate Likelihoods for Variational Annealed Importance Sampling
  22 Dec 2021 0 repositories listed
• Simulation Intelligence: Towards a New Generation of Scientific Methods
  6 Dec 2021 0 repositories listed
• Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
  1 Dec 2021 0 repositories listed
• Testing Probabilistic Circuits
  1 Dec 2021 0 repositories listed
• Mapping probability word problems to executable representations
  1 Nov 2021 0 repositories listed
• A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
  28 Oct 2021 0 repositories listed
• flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
  19 Oct 2021 0 repositories listed
• LazyPPL: laziness and types in non-parametric probabilistic programs
  8 Oct 2021 0 repositories listed
• SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming
  7 Oct 2021 0 repositories listed
• Detecting and Quantifying Malicious Activity with Simulation-based Inference
  6 Oct 2021 0 repositories listed
• SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation
  5 Oct 2021 0 repositories listed
• Unifying AI Algorithms with Probabilistic Programming using Implicitly Defined Representations
  5 Oct 2021 0 repositories listed
• EinSteinVI: General and Integrated Stein Variational Inference
  29 Sep 2021 0 repositories listed
• Gaussian Processes to speed up MCMC with automatic exploratory-exploitation effect
  28 Sep 2021 0 repositories listed
• Proceedings 37th International Conference on Logic Programming (Technical Communications)
  15 Sep 2021 0 repositories listed
• Addressing the IEEE AV Test Challenge with Scenic and VerifAI
  20 Aug 2021 0 repositories listed
• Bob and Alice Go to a Bar: Reasoning About Future With Probabilistic Programs
  9 Aug 2021 0 repositories listed
• Pixyz: a Python library for developing deep generative models
  28 Jul 2021 0 repositories listed
• Supervised Bayesian Specification Inference from Demonstrations
  6 Jul 2021 0 repositories listed
• Expectation Programming: Adapting Probabilistic Programming Systems to Estimate Expectations Efficiently
  9 Jun 2021 0 repositories listed
• How To Train Your Program: a Probabilistic Programming Pattern for Bayesian Learning From Data
  8 May 2021 0 repositories listed
• Probabilistic Programming Bots in Intuitive Physics Game Play
  5 Apr 2021 0 repositories listed
• Meta-Learning an Inference Algorithm for Probabilistic Programs
  1 Mar 2021 0 repositories listed
• Einstein VI: General and Integrated Stein Variational Inference in NumPyro
  1 Jan 2021 0 repositories listed
• Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation
  28 Dec 2020 0 repositories listed
• Complex Coordinate-Based Meta-Analysis with Probabilistic Programming
  2 Dec 2020 0 repositories listed
• Transforming Worlds: Automated Involutive MCMC for Open-Universe Probabilistic Models
  23 Nov 2020 0 repositories listed
• Survival prediction and risk estimation of Glioma patients using mRNA expressions
  2 Nov 2020 0 repositories listed
• Recalibrating classifiers for interpretable abusive content detection
  1 Nov 2020 0 repositories listed
• BayCANN: Streamlining Bayesian Calibration with Artificial Neural Network Metamodeling
  26 Oct 2020 0 repositories listed
• Simulation-based inference methods for particle physics
  13 Oct 2020 0 repositories listed
• Bayesian Policy Search for Stochastic Domains
  1 Oct 2020 0 repositories listed
• Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels
  16 Sep 2020 0 repositories listed
• Transforming Probabilistic Programs for Model Checking
  21 Aug 2020 0 repositories listed
• Uncertainty Analysis in SPECT Reconstruction based on Probabilistic Programming
  19 Aug 2020 0 repositories listed
• A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors
  1 Jun 2020 0 repositories listed
• Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
  14 May 2020 0 repositories listed
• Stochastically Differentiable Probabilistic Programs
  2 Mar 2020 0 repositories listed
• Struct-MMSB: Mixed Membership Stochastic Blockmodels with Interpretable Structured Priors
  21 Feb 2020 0 repositories listed
• tfp.mcmc: Modern Markov Chain Monte Carlo Tools Built for Modern Hardware
  4 Feb 2020 0 repositories listed
• Sampling Prediction-Matching Examples in Neural Networks: A Probabilistic Programming Approach
  9 Jan 2020 0 repositories listed
• A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
  1 Dec 2019 0 repositories listed
• Bayesian causal inference via probabilistic program synthesis
  30 Oct 2019 0 repositories listed
• Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
  29 Oct 2019 0 repositories listed
• Probabilistic Surrogate Networks for Simulators with Unbounded Randomness
  25 Oct 2019 0 repositories listed
• Efficient Inference Amortization in Graphical Models using Structured Continuous Conditional Normalizing Flows
  16 Oct 2019 0 repositories listed
• Graph Tracking in Dynamic Probabilistic Programs via Source Transformations
  16 Oct 2019 0 repositories listed
• Universal Marginaliser for Deep Amortised Inference for Probabilistic Programs
  16 Oct 2019 0 repositories listed
• Static Analysis for Probabilistic Programs
  10 Sep 2019 0 repositories listed
• Strengthening the Case for a Bayesian Approach to Car-following Model Calibration and Validation using Probabilistic Programming
  7 Aug 2019 0 repositories listed
• Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling
  14 Jul 2019 0 repositories listed
• Bayesian deep learning with hierarchical prior: Predictions from limited and noisy data
  8 Jul 2019 0 repositories listed
• Deployable probabilistic programming
  20 Jun 2019 0 repositories listed
• Hijacking Malaria Simulators with Probabilistic Programming
  29 May 2019 0 repositories listed
• The Random Conditional Distribution for Higher-Order Probabilistic Inference
  25 Mar 2019 0 repositories listed
• Efficient Search-Based Weighted Model Integration
  13 Mar 2019 0 repositories listed
• Tensor Variable Elimination for Plated Factor Graphs
  8 Feb 2019 0 repositories listed
• Doubly Bayesian Optimization
  11 Dec 2018 0 repositories listed
• Nested Reasoning About Autonomous Agents Using Probabilistic Programs
  4 Dec 2018 0 repositories listed
• Bayesian Inference of Temporal Task Specifications from Demonstrations
  1 Dec 2018 0 repositories listed
• Joint Mapping and Calibration via Differentiable Sensor Fusion
  21 Nov 2018 0 repositories listed
• Effect Handling for Composable Program Transformations in Edward2
  15 Nov 2018 0 repositories listed