REVIEW 2 major objections 2 minor 60 cited by
Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro
T0 review · 2 major / 2 minor · reviewed 2026-05-15 · grok-4.3
Pith's one-line read NumPyro composes Pyro effect handlers with JAX to deliver a fully JIT-compiled iterative NUTS sampler.
desk verdict NumPyro shows a workable JAX backend for Pyro with JIT NUTS that improves speed across data sizes. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Effect handlers that extend Pyro's modeling abstractions to JAX's functional transformations for acceleration and compilation.
What would settle it
A direct runtime comparison on standard benchmark models showing that the NumPyro NUTS implementation is not faster than existing Pyro or Stan alternatives in either the small-dataset or large-dataset regime.
Extended reading notes
Core claim
NumPyro shows that Pyro's effect handlers compose with JAX's functional transformations to preserve the original modeling API while adding hardware acceleration and automatic differentiation. In particular it supplies an iterative formulation of the No-U-Turn Sampler that can be compiled end-to-end with JAX's JIT, producing faster runtimes than existing implementations in both the small-data and large-data regimes.
Load-bearing premise
Pyro effect handlers compose cleanly with JAX transformations without introducing correctness problems or reducing modeling expressiveness.
Editorial extensions
If this is right
- Probabilistic models written in the Pyro interface can run with full JIT compilation and hardware acceleration.
- The same modeling code benefits from vectorization and automatic differentiation supplied by JAX.
- Inference scales to both small and large datasets without separate code paths.
- Effect-handler composition becomes a reusable pattern for adding new backends to probabilistic programming languages.
Reading between the lines
- The same handler-composition technique could be applied to accelerate other MCMC or variational methods inside JAX.
- Models could be automatically ported between CPU, GPU, and TPU execution without rewriting inference logic.
- New modeling primitives that exploit JAX's functional purity might become feasible once the handler layer is stable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces NumPyro as a lightweight NumPy-based backend for the Pyro probabilistic programming language that preserves the same modeling interface and effect-handling abstractions. It demonstrates that Pyro effect handlers compose with JAX's functional transformations (JIT, autodiff, vectorization) to support an iterative formulation of the No-U-Turn Sampler (NUTS) that is end-to-end JIT-compilable, yielding substantially faster inference than existing alternatives across both small- and large-dataset regimes.
Significance. If the performance and correctness claims hold, the work is significant for showing how effect-handler composition can bridge imperative PPL APIs with functional autodiff frameworks, enabling scalable, hardware-accelerated sampling without loss of modeling expressiveness. The engineering result directly addresses practical bottlenecks in Bayesian inference for machine-learning models.
major comments (2)
- [Abstract and §4] Abstract and §4 (results): the central claim that the JIT-compiled iterative NUTS is 'much faster than existing alternatives in both the small and large dataset regimes' is load-bearing yet supported only by high-level statements; specific wall-clock timings, hardware specifications, baseline implementations (e.g., Pyro, Stan, TensorFlow Probability), and dataset sizes must be reported with error bars or multiple runs to allow verification.
- [§3] §3 (NUTS formulation): the iterative NUTS algorithm is presented as end-to-end JIT-compatible, but the manuscript does not explicitly address potential non-differentiable control flow or side-effect leakage when the effect handlers are transformed; a short proof sketch or counter-example check would strengthen the correctness argument.
minor comments (2)
- [§4] Add a table or figure in §4 that directly tabulates speedup factors versus the closest competing samplers for the reported models.
- [Introduction] Clarify in the introduction whether the modeling API is byte-for-byte identical to Pyro or admits any syntactic differences.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive recommendation for minor revision. We address the major comments point-by-point below, agreeing to incorporate additional details and clarifications in the revised manuscript.
read point-by-point responses
-
Referee: [Abstract and §4] Abstract and §4 (results): the central claim that the JIT-compiled iterative NUTS is 'much faster than existing alternatives in both the small and large dataset regimes' is load-bearing yet supported only by high-level statements; specific wall-clock timings, hardware specifications, baseline implementations (e.g., Pyro, Stan, TensorFlow Probability), and dataset sizes must be reported with error bars or multiple runs to allow verification.
Authors: We agree that the performance claims would benefit from more detailed empirical support. In the revised manuscript, we will expand §4 to include specific wall-clock timings, hardware specifications (such as the CPU and GPU models used), the exact baseline implementations (Pyro, Stan, TensorFlow Probability), dataset sizes, and results reported as means with standard deviations over multiple independent runs. This will provide the necessary quantitative evidence for the 'much faster' claim in both small and large dataset regimes. revision: yes
-
Referee: [§3] §3 (NUTS formulation): the iterative NUTS algorithm is presented as end-to-end JIT-compatible, but the manuscript does not explicitly address potential non-differentiable control flow or side-effect leakage when the effect handlers are transformed; a short proof sketch or counter-example check would strengthen the correctness argument.
Authors: We thank the referee for highlighting this point on correctness. The effect handlers in NumPyro are implemented to be fully compatible with JAX's functional transformations, ensuring no side-effect leakage and that control flow remains traceable. In the revision, we will add a short paragraph in §3 providing a sketch of why the iterative NUTS formulation avoids non-differentiable operations and side effects, referencing the pure functional nature of the handlers and JAX's tracing mechanism. If space permits, we can include a brief counter-example check or note on the absence of such issues in our implementation. revision: yes
Circularity Check
No significant circularity in implementation description
full rationale
This is an implementation paper presenting NumPyro as a JAX-based backend for Pyro's modeling interface. The central claim concerns the engineering outcome of composing effect handlers with JAX transformations to enable an end-to-end JIT-compilable iterative NUTS sampler, with reported performance gains. No mathematical derivations, parameter fits, or self-referential equations appear in the provided text that reduce to their own inputs by construction. The work is self-contained as a software design and benchmarking description, with no load-bearing steps that match the enumerated circularity patterns.
Assumptions & free parameters
assumptions (1)
- domain assumption Pyro effect handlers can be composed with JAX program transformations while preserving modeling semantics
Cite this review
Pith. "Pith review of Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro." pith.science (2026). https://pith.science/paper/52FPSCX5
@misc{pith2026191211554,
author = {Pith},
title = {Pith review of: Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro},
year = {2026},
howpublished = {\url{https://pith.science/paper/52FPSCX5}},
note = {Machine review of arXiv:1912.11554}
}
read the original abstract
NumPyro is a lightweight library that provides an alternate NumPy backend to the Pyro probabilistic programming language with the same modeling interface, language primitives and effect handling abstractions. Effect handlers allow Pyro's modeling API to be extended to NumPyro despite its being built atop a fundamentally different JAX-based functional backend. In this work, we demonstrate the power of composing Pyro's effect handlers with the program transformations that enable hardware acceleration, automatic differentiation, and vectorization in JAX. In particular, NumPyro provides an iterative formulation of the No-U-Turn Sampler (NUTS) that can be end-to-end JIT compiled, yielding an implementation that is much faster than existing alternatives in both the small and large dataset regimes.
Forward citations
Cited by 60 Pith papers
-
Atmospheric asymmetries in WASP-121 b revealed by rotational transits detected with JWST
Rotational transits of WASP-121 b observed with JWST/NIRSpec and NIRISS show asymmetric light curves and phase-dependent molecular absorption revealing stronger evening than morning terminator temperature gradients.
-
AGN Reverberation Mapping with LITMUS: Fundamental Limits on lag Recovery Rates
A Bayesian re-analysis of 906 OzDES AGN finds that previous reverberation lags, especially for MgII and CIV, are often false positives, with only 3-28% of MgII sources showing simple lags.
-
Dissecting the Scalar Cosmological Collider with the Cosmic Microwave Background
A joint Bayesian fit of the multi-field inflationary Lagrangian to Planck bispectrum data finds no cosmological collider signal (max Δχ²=5.3) and shows weak-mixing template searches are invalid except at the smallest masses.
-
Multi-Agent AI Control: Distributed Attacks Hamper Per-Instance Monitors
Splitting an attack across more coordinating agents lowers per-commit monitor suspicion, making distributed attacks harder to detect than single-agent attacks.
-
A new framework for lightning-fast gravitational wave analysis of pulsar timing data
A standardizing coordinate transform turns PTA Fourier coefficients into near-standard normals so HMC/NUTS on GPU recovers NANOGrav-scale posteriors in ~15 minutes.
-
Decoding the Early-Time Light Curves of Type Ia Supernovae. II. Population Parameters of One Thousand ZTF Supernovae
Hierarchical Bayesian power-law fits to early ZTF light curves of 972 SNe Ia yield population parameters for rise time, index, and color evolution, revealing a bifurcation with SALT2 stretch.
-
Decoding the Early-Time Light Curves of Type Ia Supernovae. I. A Hierarchical Bayesian Framework for Demographic Inference
A hierarchical Bayesian approach with multivariate Gaussian population prior reduces bias in demographic inference of SN Ia power-law rise parameters compared to individual fitting.
-
Calibration, Not Compilation: Detecting and Repairing Misspecified Probabilistic Programs Written by Language Models
Bayesian workflow diagnostics outperform unit tests for detecting and repairing statistically misspecified LLM-generated probabilistic programs across benchmarks and real generation tasks.
-
Gaussian processes on ray-guided transformed uniform grids for fast, flexible, and auto-differentiable adaptive source reconstruction in lens modelling
A new RTU grid method models the lensing source as a Gaussian process on a ray-transformed uniform grid, achieving comparable fits with roughly half the pixels per dimension and higher ELBOs on mock data.
-
A hierarchical Bayesian framework for cosmology using Type 1 AGN variability
A hierarchical Bayesian framework that uses the empirical anti-correlation between AGN variability amplitude and luminosity to infer cosmological parameters from moderate-baseline light curves via importance reweighting.
-
Same Evidence, Different Answer: Auditing Order Sensitivity in Multimodal Large Language Models
All 18 audited MLLMs exhibit order sensitivity with per-facet flip rates of 24-50%, exceeding same-order decoder noise.
-
Discovering Misconceptions and Misunderstandings From Administrations of Research-Designed Multiple Choice Instruments
Multidimensional IRT analysis of 34k FCI administrations identifies 22 robust misconception dimensions and computes student/class scores revealing varied post-instruction remediation patterns.
-
High-Dimensional Bayesian Calibration of Expensive Nuclear Models with Differentiable Emulation
DREAM enables exact-gradient Bayesian calibration of nuclear models via offline SVD emulation of parameter-dependent operators, demonstrated by rapid HMC convergence on an 18-parameter CDCC analysis of d+58Ni scattering.
-
Kernel Renormalization in Bayesian Deep Neural Networks: the Equivalent Wishart Ansatz in the Proportional Regime
Equivalent Wishart Ansatz for kernel renormalization in Bayesian MLPs and CNNs in the proportional regime, with tests showing good agreement on benchmarks.
-
Archimedean Copula Inference via Taylor-Mode AD
acopula enables polynomial-time exact inference for arbitrary nested Archimedean copulas with censoring via Taylor-mode AD on user-defined generators.
-
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage
A new queryable binary dataset combining cross-build diversity, temporal history, and CVE labels with linked metadata for vulnerability research.
-
Theoretical guidelines for annealed Langevin dynamics in compositional simulation-based inference
Derives Wasserstein bounds and explicit hyperparameter tuning rules for annealed Langevin dynamics in compositional score-based SBI, proving Linhart et al. (2026) allows larger steps and fewer total steps than Geffner...
-
Mixed neural posterior estimation for simulators with discrete and continuous parameters
Extends NPE to mixed discrete-continuous parameter spaces via a factorized inference network combining an autoregressive classifier and generative model, trained jointly to yield accurate calibrated posteriors.
-
Variational predictive resampling
Variational predictive resampling uses sequential imputation from variational predictives to generate samples whose distribution converges to the exact Bayesian posterior in Gaussian models and improves dependence cap...
-
Variational predictive resampling
Variational predictive resampling iteratively imputes data from a variational predictive to produce posterior samples that converge to the exact Bayesian posterior in Gaussian models where mean-field VI retains a gap.
-
Bayesian Doppler Imaging: Simultaneous Inference of Surface Maps and Geometric Parameters
A fully Bayesian pixel-based Doppler imaging framework uses Gaussian Process priors and Hamiltonian Monte Carlo to simultaneously infer surface maps and geometric parameters from spectral data.
-
ADELIA: Automatic Differentiation for Efficient Laplace Inference Approximations
ADELIA is the first AD-enabled INLA system that computes exact hyperparameter gradients via a structure-exploiting multi-GPU backward pass, delivering 4.2-7.9x per-gradient speedups and 5-8x better energy efficiency t...
-
Archival Multiband Gravitational-Wave Signals from Massive Black Hole Binary Mergers
Massive black hole binary mergers produce orphaned low-frequency signals in PTA pulsar terms that can be stacked for archival multiband gravitational-wave detection.
-
High-dimensional inference for the $\gamma$-ray sky with differentiable programming
A differentiable forward model and likelihood enable probabilistic inference over many spatial morphologies for the Galactic Center gamma-ray Excess using variational methods on GPUs.
-
Machine-learning techniques for model-independent searches in dijet final states
Five ML anomaly-detection methods enhance model-agnostic dijet searches at CMS, and a weakly supervised tagger identifies hadronic top-quark decays in data nearly as well as a supervised classifier.
-
Dynamic sparse graphs with overlapping communities
Bayesian nonparametric model for dynamic sparse networks with overlapping communities via completely random measures and latent Markov processes.
-
People readily follow personal advice from AI but it does not improve their well-being
Large longitudinal RCT finds high rates of following AI personal advice but no sustained well-being gains versus a hobbies control condition.
-
AMIGO: a Data-Driven Calibration of the JWST Interferometer
AMIGO is an end-to-end differentiable forward model of JWST AMI that corrects detector systematics to recover high-precision astrometry and detect close high-contrast companions.
-
Two per cent measurement of $H_0$ from Cepheids alone
A Cepheid-only distance ladder with rigorous selection modelling and BORG-based peculiar velocities yields H0 = 71.7 +/- 1.3 km/s/Mpc, in mild tension with SH0ES and in ~3 sigma tension with Planck.
-
Conversational AI increases political knowledge as effectively as self-directed internet search
Using survey and experimental data, the paper reports that conversational AI is a common source of political information in the UK and that its effect on belief in true versus false statements statistically does not e...
-
Using Symbolic Regression to Emulate the Radial Fourier Transform of the S\'ersic profile for Fast, Accurate and Differentiable Galaxy Profile Fitting
Symbolic regression yields an emulator for the radial Fourier transform of the Sérsic profile that enables 2.5 times faster galaxy profile fitting with minimal accuracy loss.
-
Neural Stochastic Differential Equations on Compact State Spaces: Theory, Methods, and Application to Suicide Risk Modeling
The authors derive drift and diffusion constraints plus a parameterization that forces neural SDE solutions to remain inside compact polyhedral domains, yielding better forecasts on real EMA suicide-risk datasets than...
-
Differentiable Fuzzy Cosmic-Web for Field Level Inference
Introduces HICOBIAN, a differentiable fuzzy hierarchical cosmic-web bias model using sigmoid gradients for smooth region transitions, enabling accurate Bayesian field-level reconstruction of primordial density fields ...
-
End-to-end differentiable retrieval of molecular spectra using hydrodynamics, chemistry, and radiative transfer
An end-to-end differentiable JAX pipeline couples 1D hydrodynamics, time-dependent chemistry, and radiative transfer, and recovers shock and rate parameters from synthetic HCO+ spectra.
-
jaxdae: A JAX-native Differentiable Solver for Differential-Algebraic Equations in Coupled Multi-physics
jaxdae provides the first JAX-native differentiable DAE solver, using a frozen-grid BDF-2 replay adjoint for reverse-mode gradients and XLA-fused batched sweeps.
-
A Probabilistic Framework for Population Studies of the Solar Neighborhood: Application to SDSS-V and Gaia
A new probabilistic pipeline characterizes SDSS-V Solar Neighborhood Census selection effects against Gaia and infers subpopulation probabilities across the HR diagram from incomplete spectroscopy.
-
A Hardware-oriented Approach for Efficient Bayesian Inference Computation and Deployment
Reorganizing the memory layout of tensor contractions speeds up discrete Bayesian message passing on an embedded GPU by 2-2.5x typically, up to about 5x, with mathematically identical outputs.
-
Microlensing of Microlensing: Effects of Random Stars on the Double-Source-Plane Gravitational Lens
First numerical ray-shooting simulation of compound (two-plane) quasar microlensing in the double-source-plane lens J1721+8842 shows new caustic morphologies — convexity violations and lip caustics — that do not occur...
-
Deep and Probabilistic Models for Gene Regulatory Network Inference
A dual-stage GRN inference framework combining a sequence-based transformer prior (GLM-Prior) with a probabilistic matrix-factorization model (PMF-GRN) for uncertainty-aware network reconstruction.
-
Multivariate Bayesian P-spline estimation of spectral density matrices, with application to LISA TDI noise
Multivariate Bayesian P-splines on the Cholesky factor of S(f)^{-1} recover LISA TDI cross-spectral structure that diagonal AET models miss by an order of magnitude under asymmetric MOSA noise.
-
Distinct spin properties and astrophysical origin of low mass binary black holes in gravitational wave data
Hierarchical Bayesian analysis of GWTC-5.0 data identifies a mass transition at 15.2 solar masses separating distinct effective-spin distributions, pointing to different formation channels for low-mass binary black holes.
-
Kinematic detection of dusty outflows from active galactic nuclei: Polycyclic aromatic hydrocarbon kinematics of type 2 quasars with JWST/MIRI spectroscopy
PAH velocity maps reveal outflows in three type 2 quasars, suggesting dusty outflows are common at λ_Edd ≳ 0.1.
-
Kinematic detection of dusty outflows from active galactic nuclei: Polycyclic aromatic hydrocarbon kinematics of type 2 quasars with JWST/MIRI spectroscopy
PAH 11.3 µm velocity maps reveal dusty outflows in three QSO2s at high Eddington ratio, after disk subtraction, matching molecular residuals and prior theoretical expectations.
-
HIcosmo: a differentiable JAX-based framework for cosmology inference
HIcosmo is a new JAX-based differentiable framework for background cosmology inference that matches Cobaya results while delivering 8.7x CPU and up to 20x GPU speedups.
-
Shape-Constrained Bayesian Active Learning of Self-Limiting Saturation Curves
Bayesian monotonic I-spline regression with uncertainty sampling learns self-limiting saturation curves to within noise using as few as seven measurements across five kinetic families.
-
Learning Dynamical Systems from Multiple Sparse Datasets: A Hierarchical Bayesian Modeling Approach
A hierarchical Bayesian framework pools information across sparse dynamical system datasets via a shared population distribution to improve parameter inference and prediction over unpooled approaches.
-
A thorough investigation of cross-correlation estimators for stochastic gravitational-wave background searches in ground-based detector data
Reformulation of frequency-domain narrowband cross-correlation estimators for SGWB searches provides new expressions for estimators and covariances, while showing that widely used prior expressions still yield correct...
-
Scalable Bayesian Additive Models for Stellar Flare Detection via Amortized Gaussian Process Inference and Hidden Markov Models
A VAE-based surrogate for Celerite GPs is embedded in an additive GP+HMM model to achieve scalable Bayesian inference for stellar flare detection.
-
Calibration of an Analog-to-Digital Conversion Nonlinearity in JWST/NIRISS
A data-driven model for periodic ADC integral nonlinearity in JWST/NIRISS is fitted to ramp residuals and applied to correct the ERS1366 WASP-39b transmission spectrum, reducing systematics at the 30ppm level.
-
GenSBI: Generative Methods for Simulation-Based Inference in JAX
GenSBI delivers JAX-native implementations of generative SBI methods with transformer backbones and reports near-ideal calibration scores on standard benchmarks.
-
A Strongly Parametrized Mass Ratio Model for the Stable Mass Transfer Channel: a Case Study of the $10 \, \rm{M}_{\odot}$ Peak
A parametrized analytical model for BBH mass ratios from the stable mass transfer channel is derived and applied to the 10 solar-mass peak in GWTC-4, favoring little mass-ratio reversal.
-
AI4BayesCode: From Natural Language Descriptions to Validated Modular Stateful Bayesian Samplers
AI4BayesCode generates validated modular stateful MCMC samplers from natural language Bayesian model descriptions via LLM translation, modular blocks, and recursive stateful composition.
-
AI4BayesCode: From Natural Language Descriptions to Validated Modular Stateful Bayesian Samplers
A new LLM-based system generates and validates runnable modular MCMC samplers directly from natural-language Bayesian model descriptions, reporting success on 120 of 132 benchmark models.
-
On the Reparameterization Between Cartesian Position-Velocity Vectors and Orbital Elements in the Kepler Problem
Compact analytic Jacobians are derived for reparameterizing Keplerian orbits between orbital elements and Cartesian states, correcting a singularity in the Skowron et al. (2011) microlensing model and improving MCMC e...
-
Forbidden Formation Histories: The Binary Black Hole Merger Rate Disfavors Long Delay Times
Deconvolution of the GWTC-4.0 BBH merger rate reveals that long-delay tails in the delay time distribution are forbidden, constraining progenitor formation histories to decline more steeply than the star formation rat...
-
Stories in Space: In-Context Learning Trajectories in Conceptual Belief Space
LLMs perform in-context learning as trajectories through a structured low-dimensional conceptual belief space, with the structure visible in both behavior and internal representations and causally manipulable via inte...
-
A Reusable Hierarchical Framework for Joint Inference of Ultralight-Dark-Matter Mass and Core-Halo Scaling
A hierarchical Bayesian pipeline applied to 106 SPARC galaxies yields posteriors that reach prior boundaries for soliton parameters, indicating no detectable interior population-level soliton within the Schive-normali...
-
What You Don't Know Won't Hurt You: Self-Consistent Hierarchical Inference with Unknown Follow-up Selection Strategies
Hierarchical Bayesian inference allows accurate recovery of intrinsic astrophysical source populations even when follow-up selection is unknown and correlated with parameters of interest.
-
Bayesian Modeling and Prediction of Generalized Contact Matrices
A Bayesian model for multi-feature contact matrices that uses tensor structures and contingency table theory to satisfy structural constraints and impute missing contact features, validated on simulations and US/Germa...
-
Towards E-Value Based Stopping Rules for Bayesian Deep Ensembles
E-value sequential tests enable early stopping of MCMC sampling in Bayesian deep ensembles, often needing only a fraction of the full budget while improving over standard deep ensembles.
Reference graph
Works this paper leans on
-
[1]
Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro
and Edward2 [6] based on TensorFlow, and PyMC3 [7] based on Theano. NumPyro is a package for probabilistic programming built atop JAX [8, 9], which is a high-level tracing library for program transformations (e.g. automatic differentiation, vectorization and JIT compilation) of Python and NumPy functions. Thus NumPyro enables users to write probabilistic ...
work page Pith review arXiv 1912
-
[2]
An introduction to probabilistic programming, 2021
Jan-Willem van de Meent, Brooks Paige, Hongseok Yang, and Frank Wood. An introduction to probabilistic programming. arXiv preprint arXiv:1809.10756, 2018
-
[3]
Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. Pyro: Deep universal probabilistic programming. Journal of Machine Learning Research , 20(28):1–6, 2019. URL http://jmlr.org/ papers/v20/18-403.html
work page 2019
-
[4]
Learning disentangled representations with semi-supervised deep generative models
Siddharth Narayanaswamy, T Brooks Paige, Jan-Willem Van de Meent, Alban Desmaison, Noah Goodman, Pushmeet Kohli, Frank Wood, and Philip Torr. Learning disentangled representations with semi-supervised deep generative models. In Advances in Neural Information Processing Systems , pages 5925–5935, 2017
work page 2017
-
[5]
Automatic differentiation in pytorch
Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. Automatic differentiation in pytorch. 2017
work page 2017
-
[6]
Joshua V Dillon, Ian Langmore, Dustin Tran, Eugene Brevdo, Srinivas Vasudevan, Dave Moore, Brian Patton, Alex Alemi, Matt Hoffman, and Rif A Saurous. Tensorflow distributions. arXiv preprint arXiv:1711.10604, 2017
work page Pith review arXiv 2017
-
[7]
Simple, distributed, and accelerated probabilistic programming
Dustin Tran, Matthew W Hoffman, Dave Moore, Christopher Suter, Srinivas Vasudevan, and Alexey Radul. Simple, distributed, and accelerated probabilistic programming. In Advances in Neural Information Processing Systems, pages 7598–7609, 2018
work page 2018
-
[8]
and Fonnesbeck, Christopher , title =
John Salvatier, Thomas V . Wiecki, and Christopher Fonnesbeck. Probabilistic programming in python using PyMC3. PeerJ Computer Science , 2:e55, apr 2016. doi: 10.7717/peerj-cs.55. URL https: //doi.org/10.7717/peerj-cs.55
Show all 25 references
-
[9]
JAX: composable transformations of Python+NumPy programs, 2018
James Bradbury, Roy Frostig, Peter Hawkins, Matthew James Johnson, Chris Leary, Dougal Maclaurin, and Skye Wanderman-Milne. JAX: composable transformations of Python+NumPy programs, 2018. URL http://github.com/google/jax
2018
-
[10]
Compiling machine learning programs via high-level tracing
Roy Frostig, Matthew Johnson, and Chris Leary. Compiling machine learning programs via high-level tracing. 2018. URL http://www.sysml.cc/doc/2018/146.pdf. 5
2018
-
[11]
https://www.tensorflow.org/xla/
XLA: Optimizing Compiler for Machine Learning. https://www.tensorflow.org/xla/
-
[12]
Gorinova
Dave Moore and Maria I. Gorinova. Effect handling for composable program transformations in edward2. CoRR, abs/1811.06150, 2018. URL http://arxiv.org/abs/1811.06150
2018 arXiv
-
[13]
Handlers of algebraic effects
Gordon Plotkin and Matija Pretnar. Handlers of algebraic effects. In Giuseppe Castagna, editor, Program- ming Languages and Systems , pages 80–94, Berlin, Heidelberg, 2009. Springer Berlin Heidelberg. ISBN 978-3-642-00590-9
2009
-
[14]
JAX PRNG Design
The JAX Team. JAX PRNG Design. https://github.com/google/jax/blob/master/design_ notes/prng.md, 2019
2019
-
[15]
Hoffman and Andrew Gelman
Matthew D. Hoffman and Andrew Gelman. The no-u-turn sampler: Adaptively setting path lengths in hamiltonian monte carlo. Journal of Machine Learning Research , 15:1593–1623, 2014. URL http: //jmlr.org/papers/v15/hoffman14a.html
2014
-
[16]
Hybrid monte carlo
Simon Duane, Anthony D Kennedy, Brian J Pendleton, and Duncan Roweth. Hybrid monte carlo. Physics letters B, 195(2):216–222, 1987
1987
-
[17]
MCMC Using Hamiltonian Dynamics
Radford Neal. MCMC Using Hamiltonian Dynamics . CRC Press, May 2011. doi: 10.1201/b10905-6. URL http://dx.doi.org/10.1201/b10905-6
2011 doi
-
[18]
Stochastic variational inference
Matthew D Hoffman, David M Blei, Chong Wang, and John Paisley. Stochastic variational inference. The Journal of Machine Learning Research, 14(1):1303–1347, 2013
2013
-
[19]
Stan: A probabilistic programming language
Bob Carpenter, Andrew Gelman, Matthew D Hoffman, Daniel Lee, Ben Goodrich, Michael Betancourt, Marcus Brubaker, Jiqiang Guo, Peter Li, and Allen Riddell. Stan: A probabilistic programming language. Journal of statistical software, 76(1), 2017
2017
-
[20]
Arnold, Dougal J
Allen Riddell, Ari Hartikainen, Daniel Lee, riddell stan, Marco Inacio, Daniel Chen, Kenneth C. Arnold, Dougal J. Sutherland, Aki Vehtari, Shinya SUZUKI, Takahiro Kubo, Todd Small, Tobias Erhardt, Stephen Hoover, Stephan Hoyer, Richard C Gerkin, Joerg Rings, Jackie, J. J. Rams...
2018
-
[21]
UCI machine learning repository, 2017
Dheeru Dua and Casey Graff. UCI machine learning repository, 2017. URL http://archive.ics.uci. edu/ml
2017
-
[22]
The kernel interaction trick: Fast Bayesian discovery of pairwise interactions in high dimensions
Raj Agrawal, Brian Trippe, Jonathan Huggins, and Tamara Broderick. The kernel interaction trick: Fast Bayesian discovery of pairwise interactions in high dimensions. In Kamalika Chaudhuri and Ruslan Salakhutdinov, editors, Proceedings of the 36th International Conference on Ma...
-
[23]
URL http://proceedings.mlr.press/v97/agrawal19a.html
PMLR. URL http://proceedings.mlr.press/v97/agrawal19a.html
-
[24]
Stan Modeling Language User’s Guide and Reference Manual, V ersion 2.18.0
Stan Development Team. Stan Modeling Language User’s Guide and Reference Manual, V ersion 2.18.0
-
[25]
6 index 1 2 3 4 0 depth 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Figure 3: A graphical representation of how binary trees are constructed in ITERATIVE BUILD TREE
URL http://mc-stan.org. 6 index 1 2 3 4 0 depth 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Figure 3: A graphical representation of how binary trees are constructed in ITERATIVE BUILD TREE. The orange node is the leaf generated at the current step. Blue nodes are the leaves stored i...
Reviewed May 15, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.