A model-learner pattern for bayesian reasoning

DOI10.1145/2429069.2429119zbMath1301.68179OpenAlexW2059802626MaRDI QIDQ2931816

Claudio V. Russo, Thore Graepel, Guillaume Claret, Mihhail Aizatulin, Andrew D. Gordon, Aditya V. Nori, Johannes Borgström, Sriram K. Rajamani

Publication date: 27 November 2014

Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2429069.2429119

zbMATH Keywords

machine learningprobabilistic programmingBayesian reasoningmodel-learner pattern

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Correctness of sequential Monte Carlo inference for probabilistic programming languages

Uses Software

• CUDD
• IBAL
• Church
• FACTORIE
• trueskill
• Filzbach