Skip to content

perf: direct-ndtr fast path for TruncatedGaussianPrior.value_for#1285

Merged
Jammy2211 merged 1 commit into
mainfrom
feature/truncated-gaussian-fast-path
May 20, 2026
Merged

perf: direct-ndtr fast path for TruncatedGaussianPrior.value_for#1285
Jammy2211 merged 1 commit into
mainfrom
feature/truncated-gaussian-fast-path

Commits

Commits on May 20, 2026