On the public citation graph

Towards verified stochastic variational inference for probabilistic programs

https://doi.org/10.1145/3371084
0 signed · 71 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4471-5361-0openalex-snapshot
Probability Theory: A Comprehensive Course
inferredcites →https://doi.org/10.1007/978-3-319-29604-3_5openalex-snapshot
Probabilistic Inference by Program Transformation in Hakaru (System Description)
inferredcites →https://doi.org/10.1007/978-3-319-41528-4_4openalex-snapshot
PSI: Exact Symbolic Inference for Probabilistic Programs
inferredcites →https://doi.org/10.1007/978-3-319-47958-3_19openalex-snapshot
Probabilistic Programming Language and its Incremental Evaluation
inferredcites →https://doi.org/10.1007/978-3-540-45099-3_17openalex-snapshot
Abstract Interpretation of Probabilistic Semantics
inferredcites →https://doi.org/10.1007/978-3-642-28869-2_9openalex-snapshot
Probabilistic Abstract Interpretation
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_34openalex-snapshot
Probabilistic Program Analysis with Martingales
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_32openalex-snapshot
Commutative Semantics for Probabilistic Programming
inferredcites →https://doi.org/10.1007/bf00992696openalex-snapshot
Simple statistical gradient-following algorithms for connectionist reinforcement learning
inferredcites →https://doi.org/10.1016/0022-0000(81)90036-2openalex-snapshot
Semantics of probabilistic programs
inferredcites →https://doi.org/10.1063/1.1699114openalex-snapshot
Equation of State Calculations by Fast Computing Machines
inferredcites →https://doi.org/10.1093/biomet/57.1.97openalex-snapshot
Monte Carlo sampling methods using Markov chains and their applications
inferredcites →https://doi.org/10.1093/biomet/82.4.711openalex-snapshot
Reversible Jump Markov Chain Monte Carlo Computation and Bayesian Model Determination
inferredcites →https://doi.org/10.1093/logcom/2.4.511openalex-snapshot
Abstract Interpretation Frameworks
inferredcites →https://doi.org/10.1109/lcomm.2017.2689770openalex-snapshot
Existence and Continuity of Differential Entropy for a Class of Distributions
inferredcites →https://doi.org/10.1109/lics.1989.39173openalex-snapshot
A probabilistic powerdomain of evaluations
inferredcites →https://doi.org/10.1109/lics.2017.8005137openalex-snapshot
A convenient category for higher-order probability theory
inferredcites →https://doi.org/10.1145/1706299.1706308openalex-snapshot
Continuity analysis of programs
inferredcites →https://doi.org/10.1145/1707801.1706308openalex-snapshot
Continuity analysis of programs
inferredcites →https://doi.org/10.1145/2103621.2103721openalex-snapshot
A type theory for probability density functions
inferredcites →https://doi.org/10.1145/2535838.2535850openalex-snapshot
Tabular
inferredcites →https://doi.org/10.1145/2535838.2535865openalex-snapshot
Probabilistic coherence spaces are fully abstract for probabilistic PCF
inferredcites →https://doi.org/10.1145/2578855.2535865openalex-snapshot
Probabilistic coherence spaces are fully abstract for probabilistic PCF
inferredcites →https://doi.org/10.1145/2933575.2935313openalex-snapshot
Semantics for probabilistic programming
inferredcites →https://doi.org/10.1145/2951913.2951942openalex-snapshot
A lambda-calculus foundation for universal probabilistic programming
inferredcites →https://doi.org/10.1145/3009837.3009843openalex-snapshot
Cantor meets Scott: semantic foundations for probabilistic networks
inferredcites →https://doi.org/10.1145/3093333.3009843openalex-snapshot
Cantor meets Scott: semantic foundations for probabilistic networks
inferredcites →https://doi.org/10.1145/3158148openalex-snapshot
Denotational validation of higher-order Bayesian inference
inferredcites →https://doi.org/10.1145/3192366.3192408openalex-snapshot
PMAF: an algebraic framework for static analysis of probabilistic programs
inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot
Abstract interpretation
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1201/b10905-3openalex-snapshot
A Short History of MCMC: Subjective Recollections from Incomplete Data
inferredcites →https://doi.org/10.14288/1.0044249openalex-snapshot
A new approach to probabilistic programming inference
inferredcites →https://doi.org/10.1609/aaai.v31i1.10779openalex-snapshot
Structured Inference Networks for Nonlinear State Space Models
inferredcites →https://doi.org/10.18637/jss.v076.i01openalex-snapshot
Stan : A Probabilistic Programming Language
inferredcites →https://doi.org/10.4230/lipics.fsttcs.2015.475openalex-snapshot
A Provably Correct Sampler for Probabilistic Programs
inferredcites →https://doi.org/10.4230/lipics.icdt.2016.7openalex-snapshot
Declarative Probabilistic Programming with Datalog
inferredcites →https://doi.org/10.48550/arxiv.1206.3255openalex-snapshot
Church: a language for generative models
inferredcites →https://doi.org/10.48550/arxiv.1206.6430openalex-snapshot
Variational Bayesian Inference with Stochastic Search
inferredcites →https://doi.org/10.48550/arxiv.1312.6114openalex-snapshot
Auto-Encoding Variational Bayes
inferredcites →https://doi.org/10.48550/arxiv.1406.5298openalex-snapshot
Semi-Supervised Learning with Deep Generative Models
inferredcites →https://doi.org/10.48550/arxiv.1411.2581openalex-snapshot
Deep Exponential Families
inferredcites →https://doi.org/10.48550/arxiv.1507.04635openalex-snapshot
Black-Box Policy Search with Probabilistic Programs
inferredcites →https://doi.org/10.48550/arxiv.1603.00788openalex-snapshot
Automatic Differentiation Variational Inference
inferredcites →https://doi.org/10.48550/arxiv.1603.08575openalex-snapshot
Attend, Infer, Repeat: Fast Scene Understanding with Generative Models
inferredcites →https://doi.org/10.48550/arxiv.1610.09787openalex-snapshot
Edward: A library for probabilistic modeling, inference, and criticism
inferredcites →https://doi.org/10.48550/arxiv.1706.00400openalex-snapshot
Learning Disentangled Representations with Semi-Supervised Deep Generative Models
inferredcites →https://doi.org/10.48550/arxiv.1810.09538openalex-snapshot
Pyro: Deep Universal Probabilistic Programming
inferredcites →https://doi.org/10.48550/arxiv.cs/0607075openalex-snapshot
On entropy for mixtures of discrete and continuous variables
inferredcites →https://doi.org/10.5555/2567709.2502622openalex-snapshot
Stochastic variational inference

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_16openalex-snapshot
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_1openalex-snapshot
Learning Probabilistic Termination Proofs
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_18openalex-snapshot
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
inferred← citeshttps://doi.org/10.1145/3453483.3454077openalex-snapshot
Sound probabilistic inference via guide types
inferred← citeshttps://doi.org/10.1145/3571198openalex-snapshot
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3571205openalex-snapshot
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
inferred← citeshttps://doi.org/10.1145/3571243openalex-snapshot
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference
inferred← citeshttps://doi.org/10.1145/3591290openalex-snapshot
Probabilistic Programming with Stochastic Probabilities
inferred← citeshttps://doi.org/10.1145/3617178openalex-snapshot
Differentiable Quantum Programming with Unbounded Loops
inferred← citeshttps://doi.org/10.1145/3656432openalex-snapshot
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
inferred← citeshttps://doi.org/10.1145/3656463openalex-snapshot
Probabilistic Programming with Programmable Variational Inference
inferred← citeshttps://doi.org/10.1145/3689748openalex-snapshot
Programmable MCMC with Soundly Composed Guide Programs
inferred← citeshttps://doi.org/10.1145/3729263openalex-snapshot
Semantics of Integrating and Differentiating Singularities
inferred← citeshttps://doi.org/10.1145/3737889openalex-snapshot
Schedule Agnostic Semantics for Reactive Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3756907.3756927openalex-snapshot
An adequate while-language for stochastic hybrid computation
inferred← citeshttps://doi.org/10.1145/3759427.3760368openalex-snapshot
On the Structure of Abstract Interpreters
inferred← citeshttps://doi.org/10.1145/3839533openalex-snapshot
Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
inferred← citeshttps://doi.org/10.2174/9798898815318126040023openalex-snapshot
Investigating the Benefits of Text Mining for Information Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.1907.08827openalex-snapshot
Towards Verified Stochastic Variational Inference for Probabilistic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2007.09871openalex-snapshot
Automating Involutive MCMC using Probabilistic and Differentiable Programming
inferred← citeshttps://doi.org/10.48550/arxiv.2110.11790openalex-snapshot
Automatic Guide Generation for Stan via NumPyro
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.