On the public citation graph
Scaling exact inference for discrete probabilistic programs
0 signed · 163 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10722468_7openalex-snapshot
Bebop: A Symbolic Model Checker for Boolean Programs
inferredcites →https://doi.org/10.1007/978-3-030-53291-8_15openalex-snapshot
Maximum Causal Entropy Specification Inference from Demonstrations
inferredcites →https://doi.org/10.1007/978-3-319-10428-7_7openalex-snapshot
On Compiling CNF into Decision-DNNF
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-63390-9_31openalex-snapshot
A Storm is Coming: A Modern Probabilistic Model Checker
inferredcites →https://doi.org/10.1007/978-3-642-19718-5_5openalex-snapshot
Measure Transformer Semantics for Bayesian Machine Learning
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_47openalex-snapshot
PRISM 4.0: Verification of Probabilistic Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-642-25655-4_16openalex-snapshot
Relax, Compensate and Then Recover
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-58940-9openalex-snapshot
Algorithms and Data Structures in VLSI Design
inferredcites →https://doi.org/10.1007/978-3-642-93437-7_28openalex-snapshot
The ALARM Monitoring System: A Case Study with two Probabilistic Inference Techniques for Belief Networks
inferredcites →https://doi.org/10.1007/978-3-662-46681-0_26openalex-snapshot
Approximate Counting in SMT and Value Estimation for Probabilistic Programs
inferredcites →https://doi.org/10.1007/978-3-662-49498-1_14openalex-snapshot
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages
inferredcites →https://doi.org/10.1016/0004-3702(94)00092-1openalex-snapshot
On the hardness of approximate reasoning
inferredcites →https://doi.org/10.1016/0169-2070(95)00664-8openalex-snapshot
Hailfinder: A Bayesian system for forecasting severe weather
inferredcites →https://doi.org/10.1016/0924-980x(95)00252-gopenalex-snapshot
Evaluation of the diagnostic performance of the expert EMG assistant MUNIN
inferredcites →https://doi.org/10.1016/b978-0-08-051489-5.50008-4openalex-snapshot
BAYESIAN INFERENCE
inferredcites →https://doi.org/10.1016/j.artint.2007.11.002openalex-snapshot
On probabilistic inference by weighted model counting
inferredcites →https://doi.org/10.1016/j.artint.2010.10.009openalex-snapshot
SampleSearch: Importance sampling in presence of determinism
inferredcites →https://doi.org/10.1016/j.artint.2015.12.001openalex-snapshot
Exploiting local and repeated structure in Dynamic Bayesian Networks
inferredcites →https://doi.org/10.1016/j.ijar.2005.10.001openalex-snapshot
Compiling relational Bayesian networks for exact inference
inferredcites →https://doi.org/10.1016/j.ijar.2016.06.009openalex-snapshot
TP -Compilation for inference in probabilistic logic programs
inferredcites →https://doi.org/10.1017/cbo9780511811357openalex-snapshot
Modeling and Reasoning with Bayesian Networks
inferredcites →https://doi.org/10.1017/s147106841100010xopenalex-snapshot
The PITA system: Tabling and answer subsumption for reasoning under uncertainty
inferredcites →https://doi.org/10.1017/s1471068414000076openalex-snapshot
Inference and learning in probabilistic logic programs using weighted Boolean formulas
inferredcites →https://doi.org/10.1023/a:1007421730016openalex-snapshot
Adaptive Probabilistic Networks with Hidden Variables
inferredcites →https://doi.org/10.1023/a:1007665907178openalex-snapshot
An Introduction to Variational Methods for Graphical Models
inferredcites →https://doi.org/10.1023/a:1008699807402openalex-snapshot
Algebraic Decision Diagrams and Their Applications
inferredcites →https://doi.org/10.1109/icse.2013.6606608openalex-snapshot
Reliability analysis in Symbolic PathFinder
inferredcites →https://doi.org/10.1109/sfcs.1979.38openalex-snapshot
Semantics of probabilistic programs
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1111/biom.12369openalex-snapshot
Bayesian networks with examples in R
inferredcites →https://doi.org/10.1145/1390156openalex-snapshot
Proceedings of the 25th international conference on Machine learning - ICML '08
inferredcites →https://doi.org/10.1145/155090.155113openalex-snapshot
The essence of compiling with continuations
inferredcites →https://doi.org/10.1145/2338965.2336773openalex-snapshot
Probabilistic symbolic execution
inferredcites →https://doi.org/10.1145/2491411.2491423openalex-snapshot
Bayesian inference using data flow analysis
inferredcites →https://doi.org/10.1145/2491956.2462179openalex-snapshot
Static analysis for probabilistic programs
inferredcites →https://doi.org/10.1145/2499370.2462179openalex-snapshot
Static analysis for probabilistic programs
inferredcites →https://doi.org/10.1145/3133904openalex-snapshot
FairSquare: probabilistic verification of program fairness
inferredcites →https://doi.org/10.1145/3192366.3192399openalex-snapshot
Incremental inference for probabilistic programs
inferredcites →https://doi.org/10.1145/3192366.3192400openalex-snapshot
Bayonet: probabilistic inference for networks
inferredcites →https://doi.org/10.1145/3192366.3192409openalex-snapshot
Probabilistic programming with programmable inference
inferredcites →https://doi.org/10.1145/3296979.3192399openalex-snapshot
Incremental inference for probabilistic programs
inferredcites →https://doi.org/10.1145/3296979.3192400openalex-snapshot
Bayonet: probabilistic inference for networks
inferredcites →https://doi.org/10.1145/3296979.3192408openalex-snapshot
PMAF: an algebraic framework for static analysis of probabilistic programs
inferredcites →https://doi.org/10.1201/9780203491294openalex-snapshot
Bayesian Artificial Intelligence
inferredcites →https://doi.org/10.14288/1.0044249openalex-snapshot
A new approach to probabilistic programming inference
inferredcites →https://doi.org/10.1561/1900000052openalex-snapshot
Query Processing on Probabilistic Data: A Survey
inferredcites →https://doi.org/10.1561/9781601981851openalex-snapshot
Graphical Models, Exponential Families, and Variational Inference
inferredcites →https://doi.org/10.1561/9781680833157openalex-snapshot
Query Processing on Probabilistic Data: A Survey
inferredcites →https://doi.org/10.1609/aaai.v28i1.9060openalex-snapshot
R2: An Efficient MCMC Sampler for Probabilistic Programs
inferredcites →https://doi.org/10.1609/aaai.v28i1.9067openalex-snapshot
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics
inferredcites →https://doi.org/10.1609/aaai.v33i01.33017825openalex-snapshot
Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation
inferredcites →https://doi.org/10.1613/jair.505openalex-snapshot
The Computational Complexity of Probabilistic Planning
inferredcites →https://doi.org/10.18637/jss.v076.i01openalex-snapshot
Stan : A Probabilistic Programming Language
inferredcites →https://doi.org/10.24963/ijcai.2017/215openalex-snapshot
Optimal Feature Selection for Decision Robustness in Bayesian Networks
inferredcites →https://doi.org/10.4230/lipics.fsttcs.2015.475openalex-snapshot
A Provably Correct Sampler for Probabilistic Programs
inferredcites →https://doi.org/10.48550/arxiv.1111.4246openalex-snapshot
The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo
inferredcites →https://doi.org/10.48550/arxiv.1202.3719openalex-snapshot
Inference in Probabilistic Logic Programs using Weighted CNF's
inferredcites →https://doi.org/10.48550/arxiv.1206.3255openalex-snapshot
Church: a language for generative models
inferredcites →https://doi.org/10.48550/arxiv.1301.1299openalex-snapshot
Automated Variational Inference in Probabilistic Programming
inferredcites →https://doi.org/10.48550/arxiv.1302.3562openalex-snapshot
Context-Specific Independence in Bayesian Networks
inferredcites →https://doi.org/10.48550/arxiv.1307.0060openalex-snapshot
Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs
inferredcites →https://doi.org/10.48550/arxiv.1501.06769openalex-snapshot
Particle Gibbs with Ancestor Sampling for Probabilistic Programs
inferredcites →https://doi.org/10.48550/arxiv.1506.03431openalex-snapshot
Automatic Variational Inference in Stan
inferredcites →https://doi.org/10.48550/arxiv.1804.03523openalex-snapshot
Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities
inferredcites →https://doi.org/10.48550/arxiv.1810.09538openalex-snapshot
Pyro: Deep Universal Probabilistic Programming
inferredcites →https://doi.org/10.48550/arxiv.1902.03210openalex-snapshot
Tensor Variable Elimination for Plated Factor Graphs
inferredcites →https://doi.org/10.48550/arxiv.1903.05334openalex-snapshot
Efficient Search-Based Weighted Model Integration
inferredcites →https://doi.org/10.48550/arxiv.1910.13324openalex-snapshot
Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support
inferredcites →https://doi.org/10.5860/choice.34-4512openalex-snapshot
Handbook of applied cryptography
inferredcites →https://doi.org/10.7551/mitpress/7432.003.0016openalex-snapshot
The Design and Implementation of IBAL: A General-Purpose Probabilistic Language
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-53291-8_15openalex-snapshot
Maximum Causal Entropy Specification Inference from Demonstrations
inferred← citeshttps://doi.org/10.1007/978-3-030-58449-8_1openalex-snapshot
Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains
inferred← citeshttps://doi.org/10.1007/978-3-030-59854-9_9openalex-snapshot
Bayesian Inference by Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-74042-9_5openalex-snapshot
Hardware-Aware Probabilistic Circuits
inferred← citeshttps://doi.org/10.1007/978-3-030-80223-3_10openalex-snapshot
Weighted Model Counting Without Parameter Variables
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_27openalex-snapshot
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
inferred← citeshttps://doi.org/10.1007/978-3-030-88885-5_16openalex-snapshot
AQUA: Automated Quantized Inference for Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_5openalex-snapshot
Does a Program Yield the Right Distribution?
inferred← citeshttps://doi.org/10.1007/978-3-031-16336-4_2openalex-snapshot
Distribution Estimation for Probabilistic Loops
inferred← citeshttps://doi.org/10.1007/978-3-031-30820-8_25openalex-snapshot
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
inferred← citeshttps://doi.org/10.1007/978-3-031-33271-5_26openalex-snapshot
Generating Random Instances of Weighted Model Counting
inferred← citeshttps://doi.org/10.1007/978-3-031-43835-6_23openalex-snapshot
Symbolic Semantics for Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-68606-1_15openalex-snapshot
Coyan: Fault Tree Analysis – Exact and Scalable
inferred← citeshttps://doi.org/10.1007/978-3-031-73709-1_11openalex-snapshot
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-91118-7_12openalex-snapshot
Variable Elimination as Rewriting in a Linear Lambda Calculus
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_9openalex-snapshot
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-98679-6_4openalex-snapshot
On the Almost-Sure Termination of Probabilistic Counter Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_7openalex-snapshot
Programming and Reasoning in Partially Observable Probabilistic Environments
inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_6openalex-snapshot
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-032-11176-0_16openalex-snapshot
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_12openalex-snapshot
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
inferred← citeshttps://doi.org/10.1007/978-3-032-22723-2_8openalex-snapshot
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_24openalex-snapshot
Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_25openalex-snapshot
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_5openalex-snapshot
Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition
inferred← citeshttps://doi.org/10.1007/s11334-021-00433-3openalex-snapshot
Automated quantized inference for probabilistic programs with AQUA
inferred← citeshttps://doi.org/10.1016/j.ijar.2021.09.012openalex-snapshot
Strudel: A fast and accurate learner of structured-decomposable probabilistic circuits
inferred← citeshttps://doi.org/10.1016/j.ijar.2025.109369openalex-snapshot
NeST: The neuro-symbolic transpiler
inferred← citeshttps://doi.org/10.1098/rsos.230785openalex-snapshot
Logic + probabilistic programming + causal laws
inferred← citeshttps://doi.org/10.1103/physrevresearch.6.033261openalex-snapshot
Probabilistic inference in the era of tensor networks and differential programming
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00132openalex-snapshot
Belief Propagation with Local Structure and Its Applications in Program Analysis
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00203openalex-snapshot
Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00048openalex-snapshot
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
inferred← citeshttps://doi.org/10.1109/emc2-nips53020.2019.00023openalex-snapshot
On Hardware-Aware Probabilistic Frameworks for Resource Constrained Embedded Applications
inferred← citeshttps://doi.org/10.1109/ismar67309.2025.00087openalex-snapshot
Probabilistic Verification of Cybersickness in Virtual Reality Through Bayesian Networks
inferred← citeshttps://doi.org/10.1109/jssc.2025.3561880openalex-snapshot
AIA: A Customized Multi-Core RISC-V SoC for Discrete Sampling Workloads in 16 nm
inferred← citeshttps://doi.org/10.1145/3453483.3454078openalex-snapshot
SPPL: probabilistic programming with fast exact symbolic inference
inferred← citeshttps://doi.org/10.1145/3473595openalex-snapshot
ProbNV: probabilistic verification of network control planes
inferred← citeshttps://doi.org/10.1145/3498677openalex-snapshot
Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion
inferred← citeshttps://doi.org/10.1145/3519939.3523721openalex-snapshot
Guaranteed bounds for posterior inference in universal probabilistic programming
inferred← citeshttps://doi.org/10.1145/3563341openalex-snapshot
This is the moment for probabilistic loops
inferred← citeshttps://doi.org/10.1145/3563344openalex-snapshot
Symbolic execution for randomized programs
inferred← citeshttps://doi.org/10.1145/3563347openalex-snapshot
Semi-symbolic inference for efficient streaming probabilistic programming
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/3586050openalex-snapshot
Exact Recursive Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3591220openalex-snapshot
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
inferred← citeshttps://doi.org/10.1145/3591290openalex-snapshot
Probabilistic Programming with Stochastic Probabilities
inferred← citeshttps://doi.org/10.1145/3632905openalex-snapshot
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
inferred← citeshttps://doi.org/10.1145/3649822openalex-snapshot
Newtonian Program Analysis of Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3649844openalex-snapshot
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
inferred← citeshttps://doi.org/10.1145/3654777.3676407openalex-snapshot
Tyche: Making Sense of PBT Effectiveness
inferred← citeshttps://doi.org/10.1145/3654988openalex-snapshot
StarfishDB: A Query Execution Engine for Relational Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3656448openalex-snapshot
Compiling Probabilistic Programs for Variable Elimination with Information Flow
inferred← citeshttps://doi.org/10.1145/3678232.3678246openalex-snapshot
Language-Based Security for Low-Level MPC
inferred← citeshttps://doi.org/10.1145/3687997.3695634openalex-snapshot
Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
inferred← citeshttps://doi.org/10.1145/3704846openalex-snapshot
Inference Plans for Hybrid Particle Filtering
inferred← citeshttps://doi.org/10.1145/3704874openalex-snapshot
Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
inferred← citeshttps://doi.org/10.1145/3720482openalex-snapshot
Multi-Language Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3720500openalex-snapshot
Scaling Optimization over Uncertainty via Compilation
inferred← citeshttps://doi.org/10.1145/3720501openalex-snapshot
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
inferred← citeshttps://doi.org/10.1145/3729325openalex-snapshot
Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3729334openalex-snapshot
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3763058openalex-snapshot
Probabilistic Inference for Datalog with Correlated Inputs
inferred← citeshttps://doi.org/10.1145/3763078openalex-snapshot
A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)
inferred← citeshttps://doi.org/10.1145/3763082openalex-snapshot
Tuning Random Generators: Property-Based Testing as Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3798215openalex-snapshot
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
inferred← citeshttps://doi.org/10.1145/3802114openalex-snapshot
Variational Inference for De Finetti Logic
inferred← citeshttps://doi.org/10.1145/3808321openalex-snapshot
GradInf: Gradient Estimation as Probabilistic Inference
inferred← citeshttps://doi.org/10.1145/3808343openalex-snapshot
Categorical Semantics of Probabilistic Symbolic Execution
inferred← citeshttps://doi.org/10.1145/3839463openalex-snapshot
Quantum Monte Carlo Estimation via Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3839533openalex-snapshot
Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
inferred← citeshttps://doi.org/10.1177/29498732251339951openalex-snapshot
On the Relevance of Logic for Artificial Intelligence, and the Promise of Neurosymbolic Learning
inferred← citeshttps://doi.org/10.1609/aaai.v35i18.17999openalex-snapshot
Juice: A Julia Package for Logic and Probabilistic Circuits
inferred← citeshttps://doi.org/10.1609/aaai.v37i10.26447openalex-snapshot
Certifying Fairness of Probabilistic Circuits
inferred← citeshttps://doi.org/10.1609/aiide.v18i1.21971openalex-snapshot
Icepool: Efficient Computation of Dice Pool Probabilities
inferred← citeshttps://doi.org/10.17760/d20560797openalex-snapshot
A mortized inference for structured deep generative models
inferred← citeshttps://doi.org/10.24963/kr.2022/47openalex-snapshot
Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming
inferred← citeshttps://doi.org/10.4204/eptcs.385.17openalex-snapshot
On the Independencies Hidden in the Structure of a Probabilistic Logic Program
inferred← citeshttps://doi.org/10.48550/arxiv.2103.00668openalex-snapshot
Learning Proposals for Probabilistic Programs with Inference Combinators
inferred← citeshttps://doi.org/10.48550/arxiv.2110.10284openalex-snapshot
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs
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.