Samplinglib

Lean gate not recorded for this source state main · 0e31a3cda412

production module

`AutoSamplingTheory.ExampleCases`

0 named declarations scanned from AutoSamplingTheory/ExampleCases.lean.

Imports

AutoSamplingTheory.ExampleCases.SampleWikiAutoSamplingTheory.ExampleCases.ProximalBPS.GaussianReflectionAutoSamplingTheory.ExampleCases.ProximalBPS.GaussianAugmentationAutoSamplingTheory.ExampleCases.ProximalBPS.GibbsAugmentationAutoSamplingTheory.ExampleCases.ProximalBPS.ReflectionL2AutoSamplingTheory.ExampleCases.ProximalBPS.ConditionalScoreAutoSamplingTheory.ExampleCases.ProximalBPS.MacroscopicRepresentativeAutoSamplingTheory.ExampleCases.ProximalBPS.ConditionalScoreDomainAutoSamplingTheory.ExampleCases.ProximalBPS.ConditionalBochnerAutoSamplingTheory.ExampleCases.ProximalBPS.ConditionalGradientAutoSamplingTheory.ExampleCases.ProximalBPS.ConditionalResolventAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.RecursiveConditionAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.RGOClosureAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.RGOCalculusAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.RecursiveVarianceAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.RecursiveDepthAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.LogarithmicDepthAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.TruncationAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GaussianPowerMomentAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GaussianMixtureAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ProxyReverseTransportAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GaussianKLAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.RGOBackwardAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.TwoNoiseRGOAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.AdaptiveCenterRGOAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.AdaptiveKLErrorAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.StateDependentRGOAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.FiniteRGOProgramAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.StoppedRGODepthAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.FiniteRGOKLErrorAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GaussianRGOErrorBudgetAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.StoppedGaussianRGOErrorAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.PoissonRejectionAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.PoissonQueryTailAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GaussianArcLawAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.SmoothGradientArcMomentAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.SmoothGradientArcClippingAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GradientArcMeanAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.IdealRGOIdentificationAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ClippedMeanExponentialAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ClippedRenyiComparisonAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.TerminalSamplerAccuracyCostAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.TerminalReferenceGradientDescentAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ApproximateInitialGradientMomentAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.JointReferenceGradientDescentAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.NormalizedReferenceCallAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ReferenceCarryingKernelAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ReferenceCarryingCostAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.TerminalFORSKernelAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.EnhancedTerminalExecutionAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ObservationConditionalKernelAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.EnhancedKLOneStepAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.EnhancedFiniteOutputKLAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ProximalGaussianEstimatorAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.GibbsPositionMomentAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ProximalEstimatorLipschitzAutoSamplingTheory.ExampleCases.SmoothedPicardHMC.ClippedGradientProgram

Imported by

AutoSamplingTheory

Placeholder scan

0 declaration(s) flagged

Gate status

Partial

Declarations

This aggregator contains no named declarations.