From 0325709991d2c899abc8feec1f7e04c606da2f28 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sun, 14 Jul 2024 13:07:03 +0000 Subject: [PATCH] Added navbar and removed insert_navbar.sh --- dev/index.html | 458 +++++++++++++++++++++++++++++++++++++++++- dev/turing/index.html | 458 +++++++++++++++++++++++++++++++++++++++++- index.html | 1 + 3 files changed, 915 insertions(+), 2 deletions(-) diff --git a/dev/index.html b/dev/index.html index 993909e..2159171 100644 --- a/dev/index.html +++ b/dev/index.html @@ -1,5 +1,460 @@ -Home · ParetoSmooth.jl

ParetoSmooth

Documentation for ParetoSmooth.

ParetoSmooth.ModelComparisonType
ModelComparison

A struct containing the results of model comparison.

Fields

  • pointwise::KeyedArray: A KeyedArray of pointwise estimates. See [PsisLoo]@ref.
    • estimates::KeyedArray: A table containing the results of model comparison, with the following columns –
      • cv_elpd: The difference in total leave-one-out cross validation scores between models.
      • cv_avg: The difference in average LOO-CV scores between models.
      • weight: A set of Akaike-like weights assigned to each model, which can be used in pseudo-Bayesian model averaging.
    • std_err::NamedTuple: A named tuple containing the standard error of cv_elpd. Note that these estimators (incorrectly) assume all folds are independent, despite their substantial overlap, which creates a downward biased estimator. LOO-CV differences are not asymptotically normal, so these standard errors cannot be used to calculate a confidence interval.
    • gmpd::NamedTuple: The geometric mean of the predictive distribution. It equals the geometric mean of the probability assigned to each data point by the model, that is, exp(cv_avg). This measure is only meaningful for classifiers (variables with discrete outcomes). We can think of it as measuring how often the model was right: A model that always predicts incorrectly will have a GMPD of 0, while a model that always predicts correctly will have a GMPD of 1. However, the GMPD gives a model "Partial points" between 0 and 1 whenever the model assigns a probability other than 0 or 1 to the outcome that actually happened.

See also: PsisLoo

source
ParetoSmooth.PsisType
Psis{R<:Real, AT<:AbstractArray{R, 3}, VT<:AbstractVector{R}}

A struct containing the results of Pareto-smoothed importance sampling.

Fields

  • weights: A vector of smoothed, truncated, and normalized importance sampling weights.
  • pareto_k: Estimates of the shape parameter k of the generalized Pareto distribution.
  • ess: Estimated effective sample size for each LOO evaluation, based on the variance of the weights.
  • sup_ess: Estimated effective sample size for each LOO evaluation, based on the supremum norm, i.e. the size of the largest weight. More likely than ess to warn when importance sampling has failed. However, it can have a high variance.
  • r_eff: The relative efficiency of the MCMC chain, i.e. ESS / posterior sample size.
  • tail_len: Vector indicating how large the "tail" is for each observation.
  • posterior_sample_size: How many draws from an MCMC chain were used for PSIS.
  • data_size: How many data points were used for PSIS.
source
ParetoSmooth.PsisLooType
PsisLoo <: AbstractCV

A struct containing the results of leave-one-out cross validation computed with Pareto smoothed importance sampling.

Fields

  • estimates::KeyedArray: A KeyedArray with columns :total, :se_total, :mean, :se_mean, and rows :cv_elpd, :naive_lpd, :p_eff. See # Extended help for more.
    • :cv_elpd contains estimates for the out-of-sample prediction error, as estimated using leave-one-out cross validation.
    • :naive_lpd contains estimates of the in-sample prediction error.
    • :p_eff is the effective number of parameters – a model with a p_eff of 2 is "about as overfit" as a model with 2 parameters and no regularization.
  • pointwise::KeyedArray: A KeyedArray of pointwise estimates with 5 columns –
    • :cv_elpd contains the estimated out-of-sample error for this point, as measured
    using leave-one-out cross validation.
    • :naive_lpd contains the in-sample estimate of error for this point.
    • :p_eff is the difference in the two previous estimates.
    • :ess is the L2 effective sample size, which estimates the simulation error caused by using Monte Carlo estimates. It does not measure model performance.
    • :inf_ess is the supremum-based effective sample size, which estimates the simulation error caused by using Monte Carlo estimates. It is more robust than :ess and should therefore be preferred. It does not measure model performance.
    • :pareto_k is the estimated value for the parameter ξ of the generalized Pareto distribution. Values above .7 indicate that PSIS has failed to approximate the true distribution.
  • psis_object::Psis: A Psis object containing the results of Pareto-smoothed importance sampling.
  • gmpd: The geometric mean of the predictive density. It is defined as the geometric mean of the probability assigned to each data point by the model, i.e. exp(cv_avg). This measure is only interpretable for classifiers (variables with discrete outcomes). We can think of it as measuring how often the model was right: A model that always predicts incorrectly will have a GMPD of 0, while a model that always predicts correctly will have a GMPD of 1. However, the GMPD gives a model "Partial points" between 0 and 1 whenever the model assigns a probability other than 0 or 1 to the outcome that actually happened, making it a fully Bayesian measure of model quality.
  • mcse: A float containing the estimated Monte Carlo standard error for the total cross-validation estimate.

Extended help

The total score depends on the sample size, and summarizes the weight of evidence for or against a model. Total scores are on an interval scale, meaning that only differences of scores are meaningful. It is not possible to interpret a total score by looking at it. The total score is not a goodness-of-fit statistic (for this, see the average score).

The average score is the total score, divided by the sample size. It estimates the expected log score, i.e. the expectation of the log probability density of observing the next point. The average score is a relative goodness-of-fit statistic which does not depend on sample size.

Unlike for chi-square goodness of fit tests, models do not have to be nested for model comparison using cross-validation methods.

See also: [loo]@ref, [bayes_cv]@ref, [psis_loo]@ref, [Psis]@ref

source
ParetoSmooth.looMethod
function loo(args...; kwargs...) -> PsisLoo

Compute an approximate leave-one-out cross-validation score.

Currently, this function only serves to call psis_loo, but this could change in the future. The default methods or return type may change without warning, so we recommend using psis_loo instead if reproducibility is required.

See also: psis_loo, PsisLoo.

source
ParetoSmooth.loo_compareMethod
function loo_compare(
+Home · ParetoSmooth.jl
+
+
+
+
+
+

ParetoSmooth

Documentation for ParetoSmooth.

ParetoSmooth.ModelComparisonType
ModelComparison

A struct containing the results of model comparison.

Fields

  • pointwise::KeyedArray: A KeyedArray of pointwise estimates. See [PsisLoo]@ref.
    • estimates::KeyedArray: A table containing the results of model comparison, with the following columns –
      • cv_elpd: The difference in total leave-one-out cross validation scores between models.
      • cv_avg: The difference in average LOO-CV scores between models.
      • weight: A set of Akaike-like weights assigned to each model, which can be used in pseudo-Bayesian model averaging.
    • std_err::NamedTuple: A named tuple containing the standard error of cv_elpd. Note that these estimators (incorrectly) assume all folds are independent, despite their substantial overlap, which creates a downward biased estimator. LOO-CV differences are not asymptotically normal, so these standard errors cannot be used to calculate a confidence interval.
    • gmpd::NamedTuple: The geometric mean of the predictive distribution. It equals the geometric mean of the probability assigned to each data point by the model, that is, exp(cv_avg). This measure is only meaningful for classifiers (variables with discrete outcomes). We can think of it as measuring how often the model was right: A model that always predicts incorrectly will have a GMPD of 0, while a model that always predicts correctly will have a GMPD of 1. However, the GMPD gives a model "Partial points" between 0 and 1 whenever the model assigns a probability other than 0 or 1 to the outcome that actually happened.

See also: PsisLoo

source
ParetoSmooth.PsisType
Psis{R<:Real, AT<:AbstractArray{R, 3}, VT<:AbstractVector{R}}

A struct containing the results of Pareto-smoothed importance sampling.

Fields

  • weights: A vector of smoothed, truncated, and normalized importance sampling weights.
  • pareto_k: Estimates of the shape parameter k of the generalized Pareto distribution.
  • ess: Estimated effective sample size for each LOO evaluation, based on the variance of the weights.
  • sup_ess: Estimated effective sample size for each LOO evaluation, based on the supremum norm, i.e. the size of the largest weight. More likely than ess to warn when importance sampling has failed. However, it can have a high variance.
  • r_eff: The relative efficiency of the MCMC chain, i.e. ESS / posterior sample size.
  • tail_len: Vector indicating how large the "tail" is for each observation.
  • posterior_sample_size: How many draws from an MCMC chain were used for PSIS.
  • data_size: How many data points were used for PSIS.
source
ParetoSmooth.PsisLooType
PsisLoo <: AbstractCV

A struct containing the results of leave-one-out cross validation computed with Pareto smoothed importance sampling.

Fields

  • estimates::KeyedArray: A KeyedArray with columns :total, :se_total, :mean, :se_mean, and rows :cv_elpd, :naive_lpd, :p_eff. See # Extended help for more.
    • :cv_elpd contains estimates for the out-of-sample prediction error, as estimated using leave-one-out cross validation.
    • :naive_lpd contains estimates of the in-sample prediction error.
    • :p_eff is the effective number of parameters – a model with a p_eff of 2 is "about as overfit" as a model with 2 parameters and no regularization.
  • pointwise::KeyedArray: A KeyedArray of pointwise estimates with 5 columns –
    • :cv_elpd contains the estimated out-of-sample error for this point, as measured
    using leave-one-out cross validation.
    • :naive_lpd contains the in-sample estimate of error for this point.
    • :p_eff is the difference in the two previous estimates.
    • :ess is the L2 effective sample size, which estimates the simulation error caused by using Monte Carlo estimates. It does not measure model performance.
    • :inf_ess is the supremum-based effective sample size, which estimates the simulation error caused by using Monte Carlo estimates. It is more robust than :ess and should therefore be preferred. It does not measure model performance.
    • :pareto_k is the estimated value for the parameter ξ of the generalized Pareto distribution. Values above .7 indicate that PSIS has failed to approximate the true distribution.
  • psis_object::Psis: A Psis object containing the results of Pareto-smoothed importance sampling.
  • gmpd: The geometric mean of the predictive density. It is defined as the geometric mean of the probability assigned to each data point by the model, i.e. exp(cv_avg). This measure is only interpretable for classifiers (variables with discrete outcomes). We can think of it as measuring how often the model was right: A model that always predicts incorrectly will have a GMPD of 0, while a model that always predicts correctly will have a GMPD of 1. However, the GMPD gives a model "Partial points" between 0 and 1 whenever the model assigns a probability other than 0 or 1 to the outcome that actually happened, making it a fully Bayesian measure of model quality.
  • mcse: A float containing the estimated Monte Carlo standard error for the total cross-validation estimate.

Extended help

The total score depends on the sample size, and summarizes the weight of evidence for or against a model. Total scores are on an interval scale, meaning that only differences of scores are meaningful. It is not possible to interpret a total score by looking at it. The total score is not a goodness-of-fit statistic (for this, see the average score).

The average score is the total score, divided by the sample size. It estimates the expected log score, i.e. the expectation of the log probability density of observing the next point. The average score is a relative goodness-of-fit statistic which does not depend on sample size.

Unlike for chi-square goodness of fit tests, models do not have to be nested for model comparison using cross-validation methods.

See also: [loo]@ref, [bayes_cv]@ref, [psis_loo]@ref, [Psis]@ref

source
ParetoSmooth.looMethod
function loo(args...; kwargs...) -> PsisLoo

Compute an approximate leave-one-out cross-validation score.

Currently, this function only serves to call psis_loo, but this could change in the future. The default methods or return type may change without warning, so we recommend using psis_loo instead if reproducibility is required.

See also: psis_loo, PsisLoo.

source
ParetoSmooth.loo_compareMethod
function loo_compare(
     cv_results...;
     sort_models::Bool=true,
     best_to_worst::Bool=true,
@@ -32,3 +487,4 @@
     weights::AbstractMatrix{T},
     r_eff::AbstractVector{T}
 ) -> AbstractVector

Calculate the supremum-based effective sample size of a PSIS sample, i.e. the inverse of the maximum weight. This measure is more sensitive than the ess from psis_ess, but also much more variable. It uses the L-∞ norm.

Arguments

  • weights: A set of importance sampling weights derived from PSIS.
  • r_eff: The relative efficiency of the MCMC chains; see also [relative_eff]@ref.
source
ParetoSmooth.naive_lpdFunction
naive_lpd(log_likelihood::AbstractArray{<:Real}[, chain_index])

Calculate the naive (in-sample) estimate of the expected log probability density, otherwise known as the in-sample Bayes score. This method yields heavily biased results, and we advise against using it; it is included only for pedagogical purposes.

This method is unexported and can only be accessed by calling ParetoSmooth.naive_lpd.

Arguments

  • log_likelihood::Array: A matrix or 3d array of log-likelihood values indexed as

[data, step, chain]. The chain argument can be left off if chain_index is provided or if all posterior samples were drawn from a single chain.

  • chain_index::Vector{Int}: An optional vector of integers specifying which chain each step

belongs to. For instance, chain_index[step] should return 2 if log_likelihood[:, step] belongs to the second chain.

source
+ diff --git a/dev/turing/index.html b/dev/turing/index.html index 3fa82ed..68cc2f4 100644 --- a/dev/turing/index.html +++ b/dev/turing/index.html @@ -1,5 +1,460 @@ -Using with Turing · ParetoSmooth.jl

Turing Example

This example demonstrates how to correctly compute PSIS LOO for a model developed with Turing.jl. Below, we show two ways to correctly specify the model in Turing. What is most important is to specify the model so that pointwise log densities are computed for each observation.

To make things simple, we will use a Gaussian model in each example. Suppose observations $Y = \{y_1,y_2,\dots y_n\}$ come from a Gaussian distribution with an uknown parameter $\mu$ and known parameter $\sigma=1$. The model can be stated as follows:

$\mu \sim \mathrm{normal}(0, 1)$

$Y \sim \mathrm{Normal}(\mu, 1)$

For Loop Method

One way to specify a model to correctly compute PSIS LOO is to iterate over the observations using a for loop, as follows:

using Turing
+Using with Turing · ParetoSmooth.jl
+
+
+
+
+
+

Turing Example

This example demonstrates how to correctly compute PSIS LOO for a model developed with Turing.jl. Below, we show two ways to correctly specify the model in Turing. What is most important is to specify the model so that pointwise log densities are computed for each observation.

To make things simple, we will use a Gaussian model in each example. Suppose observations $Y = \{y_1,y_2,\dots y_n\}$ come from a Gaussian distribution with an uknown parameter $\mu$ and known parameter $\sigma=1$. The model can be stated as follows:

$\mu \sim \mathrm{normal}(0, 1)$

$Y \sim \mathrm{Normal}(\mu, 1)$

For Loop Method

One way to specify a model to correctly compute PSIS LOO is to iterate over the observations using a for loop, as follows:

using Turing
 using ParetoSmooth
 using Distributions
 using Random
@@ -73,3 +528,4 @@
 │ naive_lpd │ -157.91 │      NaN │ -157.91 │     NaN │
 │     p_eff │    0.66 │      NaN │    0.66 │     NaN │
 └───────────┴─────────┴──────────┴─────────┴─────────┘
+ diff --git a/index.html b/index.html index 6a5afc3..3ac2596 100644 --- a/index.html +++ b/index.html @@ -1,2 +1,3 @@ +