Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds

<p>Probabilistic models are an indispensable tool in many scientific fields, from the social and medical sciences to physics and machine learning. In probabilistic programming, such models are specified as computer programs: a flexible yet precise representation that allows for automated analy...

书目详细资料
主要作者:	Zaiser, F
其他作者:	Murawski, A
格式:	Thesis
语言:	English
出版:	2024
主题:	Formal methods (Computer science) Probabilistic Inference Bayesian Statistics Probabilistic Programming Programming languages (Electronic computers)

相似书籍

Static posterior inference of Bayesian probabilistic programming via polynomial solving
由: Wang, Peixin, et al.
出版: (2024)

Fast and correct variational inference for probabilistic programming: Differentiability, reparameterisation and smoothing
由: Wagner, D
出版: (2023)

Semantic Probabilistic Inference of Predictions
由: E. E. Vityaev
出版: (2017-08-01)

Stan: A Probabilistic Programming Language
由: Bob Carpenter, et al.
出版: (2017-01-01)

Increasing Interpretability of Bayesian Probabilistic Programming Models Through Interactive Representations
由: Evdoxia Taka, et al.
出版: (2020-12-01)

GraphPPL.jl: A Probabilistic Programming Language for Graphical Models
由: Wouter W. L. Nuijten, et al.
出版: (2024-10-01)

Extended Variational Message Passing for Automated Approximate Bayesian Inference
由: Semih Akbayrak, et al.
出版: (2021-06-01)

Nonparametric Involutive Markov Chain Monte Carlo: a MCMC algorithm for universal probabilistic programming
由: Mak, PYC
出版: (2022)

Probabilistic inference: Task dependency and individual differences of probability weighting revealed by hierarchical Bayesian modelling
由: Moritz eBoos, et al.
出版: (2016-05-01)

A History of Probabilistic Inductive Logic Programming
由: Fabrizio eRiguzzi, et al.
出版: (2014-09-01)

Automating inference, learning, and design using probabilistic programming
由: Rainforth, T
出版: (2017)

Automating inference for non–standard models
由: Zhou, Y
出版: (2020)

Probabilistic programming in Python using PyMC3
由: John Salvatier, et al.
出版: (2016-04-01)

Probabilistic Prediction Model Using Bayesian Inference in Climate Field: A Systematic Literature
由: Evi Ardiyani, et al.
出版: (2023-07-01)

PyMC: a modern, and comprehensive probabilistic programming framework in Python
由: Oriol Abril-Pla, et al.
出版: (2023-09-01)

Probabilistic Inference and Dynamic Programming: A Unified Approach to Multi-Agent Autonomous Coordination in Complex and Uncertain Environments
由: Giovanni Di Gennaro, et al.
出版: (2022-07-01)

Planning as Inference in Epidemiological Dynamics Models
由: Frank Wood, et al.
出版: (2022-03-01)

Probabilistic Hotspot Prediction Model Based on Bayesian Inference Using Precipitation, Relative Dry Spells, ENSO and IOD
由: Evi Ardiyani, et al.
出版: (2023-01-01)

Principled Decision-Making Workflow with Hierarchical Bayesian Models of High-Throughput Dose-Response Measurements
由: Eric J. Ma, et al.
出版: (2021-06-01)

Logic + probabilistic programming + causal laws
由: Vaishak Belle
出版: (2023-09-01)

Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
由: Samuel Liu, et al.
出版: (2022-10-01)

Erratum: Bayesian neural networks using magnetic tunnel junction-based probabilistic in-memory computing
由: Frontiers Production Office
出版: (2022-12-01)

Bayesian statistic methods and theri application in probabilistic simulation models
由: Sergio Iannazzo
出版: (2007-03-01)

Probabilistic Logic Models for the Lightning Network
由: Damiano Azzolini, et al.
出版: (2022-06-01)

Probabilistic Load Forecasting With Reservoir Computing
由: Michele Guerra, et al.
出版: (2023-01-01)

Enhanced production surveillance using probabilistic dynamic models
由: Ashutosh Tewari, et al.
出版: (2018-01-01)

Bayesian Modeling for Differential Cryptanalysis of Block Ciphers: A DES Instance
由: Vincenzo Agate, et al.
出版: (2023-01-01)

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming
由: Damiano Azzolini, et al.
出版: (2019-10-01)

An FPGA implementation of Bayesian inference with spiking neural networks
由: Haoran Li, et al.
出版: (2024-01-01)

Probabilistic Inference with Polymerizing Biochemical Circuits
由: Yarden Katz, et al.
出版: (2022-04-01)

Sparse Bayesian Broad Learning System for Probabilistic Estimation of Prediction
由: Lili Xu, et al.
出版: (2020-01-01)

On the Coherence of Probabilistic Relational Formalisms
由: Glauber De Bona, et al.
出版: (2018-03-01)

Seizure Susceptibility Prediction in Uncontrolled Epilepsy
由: Nhan Duy Truong, et al.
出版: (2021-09-01)

The predictive view of Bayesian inference
由: Fong, CHE
出版: (2021)

Design and Implementation of Probabilistic Assignment Management System for a Library Database Using Object Oriented Programming
由: Jamal Hameed
出版: (2012-12-01)

Survey on Probabilistic Models of Low-Rank Matrix Factorizations
由: Jiarong Shi, et al.
出版: (2017-08-01)

Probabilistic early warning signals
由: Ville Laitinen, et al.
出版: (2021-10-01)

TRUCK CRANE HOIST BOOM BUCKLING RELIABILITY ANALYSIS BASED ON PROBABILISTIC AND NON-PROBABILISTIC HYBRID MODEL AND BAYESIAN NETWORK
由: QU FuZheng, et al.
出版: (2015-01-01)

Bayesian Energy Measurement and Verification Analysis
由: Herman Carstens, et al.
出版: (2018-02-01)

Using Value-Based Potentials for Making Approximate Inference on Probabilistic Graphical Models
由: Pedro Bonilla-Nadal, et al.
出版: (2022-07-01)