Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
We present a novel sampling framework for probabilistic programs. The framework combines two recent ideas -- \emph{control-data separation} and \emph{logical condition propagation} -- in a nontrivial manner so that the two ideas boost the benefits of each other. We implemented our algorithm on top of Anglican. The experimental results demonstrate our algorithm's efficiency, especially for programs with while loops and rare observations.
Code (0)
등록된 구현이 없습니다.
Tasks
Bayesian InferenceSimilar Papers 제목 키워드 기반
Signal Separation Using a Mathematical Model of Physiological Signals for the Measurement of Heart Pulse Wave Propagation With Array Radar
The arterial pulse wave, which propagates along the artery, is an important indicator of various cardiovascular diseases. By measuring the displacement at multiple parts of the human body, pulse wave velocity can be esti…
Fermi-Bose Machine achieves both generalization and adversarial robustness
Distinct from human cognitive processing, deep neural networks trained by backpropagation can be easily fooled by adversarial examples. To design a semantically meaningful representation learning, we discard backpropagat…
Adversarial RobustnessContrastive LearningRepresentation LearningTimescale Separation Enables Deep Reinforcement Learning Control of Rotating Detonation Engine Mode Transitions
Rotating detonation engines (RDEs) are a promising propulsion concept that may offer higher thermodynamic efficiency and specific impulse than conventional systems, but nonlinear phenomena, including transitions to oscil…
Reinforcement LearningLinking data separation, visual separation, and classifier performance using pseudo-labeling by contrastive learning
Lacking supervised data is an issue while training deep neural networks (DNNs), mainly when considering medical and biological data where supervision is expensive. Recently, Embedded Pseudo-Labeling (EPL) addressed this …
Contrastive LearningFlow separation control design with experimental validation
Flow control aims at modifying a natural flow state to reach an other flow state considered as advantageous. In this paper, active feedback flow separation control is investigated with two different closed-loop control s…