Develops compositional incrementalization of density functions for probabilistic programs to accelerate Monte Carlo inference algorithms.
In: Foster, J.S., Grossman, D
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 4roles
background 1polarities
background 1representative citing papers
Kofola implements a modular SCC-based complementation framework for Büchi automata plus a new on-the-fly emptiness check, showing competitive or superior performance on practical benchmarks.
HELIX is an end-to-end verified code generator from mathematical formulations of cyber-physical systems to LLVM IR, using Coq, algebraic transformations, term rewriting, and sparse vector abstractions.
Data-access cost scales as N to the 1/4 in an abstract memory hierarchy for a class of applications.
citing papers explorer
No citing papers match the current filters.