Measuring the non-asymptotic convergence of sequential Monte Carlo samplers using probabilistic programming Dec 7, 2016 Probabilistic Programming
— Unverified 00 Measuring the reliability of MCMC inference with bidirectional Monte Carlo Jun 7, 2016 Probabilistic Programming
— Unverified 00 Meta-Learning an Inference Algorithm for Probabilistic Programs Mar 1, 2021 Meta-Learning Probabilistic Programming
— Unverified 00 Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism Jan 19, 2022 Probabilistic Programming
— Unverified 00 Nested Reasoning About Autonomous Agents Using Probabilistic Programs Dec 4, 2018 Probabilistic Programming
— Unverified 00 Modelling contextuality by probabilistic programs with hypergraph semantics Jan 31, 2018 Probabilistic Programming
— Unverified 00 Multi-Model Probabilistic Programming Aug 12, 2022 model Probabilistic Programming
— Unverified 00 Nesting Probabilistic Programs Mar 16, 2018 Probabilistic Programming
— Unverified 00 Neural Distribution Learning for generalized time-to-event prediction Sep 27, 2018 Prediction Probabilistic Programming
— Unverified 00 Neural Probabilistic Logic Programming in Discrete-Continuous Domains Mar 8, 2023 Probabilistic Programming
— Unverified 00 Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels Sep 16, 2020 BIG-bench Machine Learning Disease Prediction
— Unverified 00 Nonstandard Interpretations of Probabilistic Programs for Efficient Inference Dec 1, 2011 Probabilistic Programming
— Unverified 00 ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs Feb 21, 2023 Probabilistic Programming
— Unverified 00 Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support Oct 29, 2019 Probabilistic Programming
— Unverified 00 Particle Gibbs with Ancestor Sampling for Probabilistic Programs Jan 27, 2015 Probabilistic Programming
— Unverified 00 Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming Sep 13, 2023 Probabilistic Programming Variational Inference
— Unverified 00 COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Manipulation Under Uncertainty Mar 21, 2024 Causal Inference Decision Making
— Unverified 00 Picture: A Probabilistic Programming Language for Scene Perception Jun 1, 2015 3D Human Pose Estimation 3D Object Reconstruction
— Unverified 00 Pixyz: a Python library for developing deep generative models Jul 28, 2021 Probabilistic Programming
— Unverified 00 Practical optimal experiment design with probabilistic programs Aug 17, 2016 Ingenuity Probabilistic Programming
— Unverified 00 Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features Jul 23, 2024 parameter estimation Pose Estimation
— Unverified 00 Probabilistic Planning by Probabilistic Programming Jan 25, 2018 Probabilistic Programming
— Unverified 00 Probabilistic Programming Bots in Intuitive Physics Game Play Apr 5, 2021 Probabilistic Programming
— Unverified 00 Probabilistic Programming with Gaussian Process Memoization Dec 17, 2015 Bayesian Optimization Gaussian Processes
— Unverified 00 Probabilistic Programming with Programmable Variational Inference Jun 22, 2024 Probabilistic Programming Variational Inference
— Unverified 00 Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving Mar 16, 2023 Automated Theorem Proving Probabilistic Programming
— Unverified 00 Proceedings 37th International Conference on Logic Programming (Technical Communications) Sep 15, 2021 Automated Theorem Proving Data Integration
— Unverified 00 Proceedings 38th International Conference on Logic Programming Aug 4, 2022 Automated Theorem Proving Data Integration
— Unverified 00 Proceedings 40th International Conference on Logic Programming Feb 11, 2025 Inductive logic programming Probabilistic Programming
— Unverified 00 Program Analysis of Probabilistic Programs Apr 14, 2022 Probabilistic Programming
— Unverified 00 Quantum-Assisted Learning of Hardware-Embedded Probabilistic Graphical Models Sep 8, 2016 Benchmarking BIG-bench Machine Learning
— Unverified 00 Querying Labeled Time Series Data with Scenario Programs Jun 25, 2024 Autonomous Driving Autonomous Vehicles
— Unverified 00 Querying Labelled Data with Scenario Programs for Sim-to-Real Validation Dec 1, 2021 Autonomous Vehicles Probabilistic Programming
— Unverified 00 RankPL: A Qualitative Probabilistic Programming Language May 19, 2017 Causal Inference Probabilistic Programming
— Unverified 00 Recalibrating classifiers for interpretable abusive content detection Nov 1, 2020 Probabilistic Programming
— Unverified 00 RELLY: Inferring Hypernym Relationships Between Relational Phrases Sep 1, 2015 Open Information Extraction Probabilistic Programming
— Unverified 00 Robust Energy Storage Scheduling for Imbalance Reduction of Strategically Formed Energy Balancing Groups Aug 30, 2016 Bayesian Inference Probabilistic Programming
— Unverified 00 Sampling Prediction-Matching Examples in Neural Networks: A Probabilistic Programming Approach Jan 9, 2020 General Classification Prediction
— Unverified 00 Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints Jan 19, 2016 Probabilistic Programming
— Unverified 00 Simulation-based inference methods for particle physics Oct 13, 2020 Probabilistic Programming
— Unverified 00 Simulation Intelligence: Towards a New Generation of Scientific Methods Dec 6, 2021 Probabilistic Programming scientific discovery
— Unverified 00 SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming Oct 7, 2021 Probabilistic Programming
— Unverified 00 Slice Sampling for Probabilistic Programming Jan 20, 2015 Probabilistic Programming regression
— Unverified 00 Representation of Molecules via Algebraic Data Types : Advancing Beyond SMILES & SELFIES Jan 23, 2025 molecular representation Probabilistic Programming
— Unverified 00 SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation Oct 5, 2021 Probabilistic Programming
— Unverified 00 Sound Abstraction and Decomposition of Probabilistic Programs Jul 1, 2018 Probabilistic Programming
— Unverified 00 Spreadsheet Probabilistic Programming Jun 14, 2016 Decision Making Decision Making Under Uncertainty
— Unverified 00 Static Analysis for Probabilistic Programs Sep 10, 2019 BIG-bench Machine Learning Probabilistic Programming
— Unverified 00 Statistical Learning of Conjunction Data Messages Through a Bayesian Non-Homogeneous Poisson Process Nov 9, 2023 Collision Avoidance Probabilistic Programming
— Unverified 00 Stochastically Differentiable Probabilistic Programs Mar 2, 2020 Probabilistic Programming
— Unverified 00