Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages
doi 10.1145/3371084
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Evaluating Probabilistic Programming and Fast Variational Bayesian Inference in Phylogenetics

PeerJ
GeneticsMolecular BiologyBiochemistryBiological SciencesMedicineAgriculturalNeuroscience
2019English

Streaming Stochastic Variational Bayes; An Improved Approach for Bayesian Inference With Data Streams

2019English

Robustness Analysis of Stochastic Programs With Joint Probabilistic Constraints

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2013English

Variational Mean-Field Algorithm for Efficient Inference in Large Systems of Stochastic Differential Equations

Physical Review E
2015English

Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Developing Verified Programs With Dafny

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Variational Principles for Stochastic Soliton Dynamics

Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2016English

Determinacy Inference for Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Probabilistic Inference in General Graphical Models Through Sampling in Stochastic Networks of Spiking Neurons

PLoS Computational Biology
Molecular NeuroscienceEvolutionEcologyGeneticsBehaviorMolecular BiologySystematicsSimulationCellularComputational TheoryMathematicsModeling
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy