SWhat changed
Compiles imperative model specifications into log-density computations and supplies adaptive HMC/NUTS sampling, optimization and diagnostics through language interfaces.
Scientific scope
Compiles imperative model specifications into log-density computations and supplies adaptive HMC/NUTS sampling, optimization and diagnostics through language interfaces. The2017journal account describes version2.14.0 and earlier project work, not a2017initial software launch or the current runtime. Continuous-parameter model restrictions, transformations and finite-sampling diagnostics remain; HMC/NUTS and optimization methods are inherited. Distinct from the lower-level Stan Math autodifferentiation library.
Evidence
The linked original sources describe the stated contribution and its evidence limits. WRS has not independently rerun the experiments or certified a proof. The2017journal account describes version2.14.0 and earlier project work, not a2017initial software launch or the current runtime. Continuous-parameter model restrictions, transformations and finite-sampling diagnostics remain; HMC/NUTS and optimization methods are inherited. Distinct from the lower-level Stan Math autodifferentiation library.
Contributors
- Source-listed authors and technical contributors · SCIENCE: Source-listed authors or explicitly credited technical contributors for the cited versions. Family entries retain source-specific attribution; a combined list is not one original-paper byline or equal individual work. Names alone do not establish resolved identities.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction