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

Tests

0 named declarations scanned from Tests.lean.

Imports
Tests.Shared.UniformRegularizationTests.WeightedLocalL2Tests.Shared.QuadraticRegularizationOracleTests.Shared.QuadraticRegularizationFirstOrderTests.Shared.QuadraticRegularizationTransferTests.Shared.RestartLogComplexityTests.Shared.RestartReductionTests.Shared.GradientDescentComplexityTests.Shared.GradientDescentRatesTests.Shared.GradientFlowLastIterateTests.Shared.GradientFlowStationarityTests.Shared.GradientFlowValueTests.Shared.GradientFlowContractionTests.Shared.GradientFlowPLTests.Shared.StrongConvexPLPullbackTests.Shared.ConvexGradientGapSharpnessTests.Shared.GradientDescentSharpnessTests.Shared.QuadraticGradientDescentTests.Shared.GradientDescentOptimalStepTests.Shared.GradientDescentStationarityTests.Shared.GradientDescentPLTests.BasicTests.HessianStrongConvexityTests.QuadraticRegularizationTests.GibbsAugmentationTests.SmoothedPicardRecursiveConditionTests.SmoothedPicardRGOClosureTests.StrongConvexGibbsIntegrabilityTests.GibbsGradientMomentTests.IsotropicGaussianDensityTests.ProximalBPSGaussianAugmentationTests.ProximalBPSGaussianReflectionTests.BrownianMotionTests.BrownianQuadraticVariationTests.GaussianFourthMomentTests.VectorBrownianFiltrationTests.EuclideanBrownianCoordinatesTests.CarreDuChampTests.CoefficientTruncationTests.ContinuousCostWeakLowerSemicontinuityTests.DisplacementInterpolationTests.DisplacementInterpolationConstantSpeedTests.DisplacementJacobianEntropyTests.DiscreteDoobL2Tests.ContinuousDoobL2Tests.DyadicElementaryRefinementTests.DyadicElementaryStoppingTests.DyadicGridStoppingItoTests.DyadicHorizonExtensionTests.DyadicHorizonItoTests.ElementaryItoIntegralTests.ElementaryItoAlgebraTests.ElementaryItoEmbeddingTests.ElementaryItoDoobL2Tests.ElementaryItoIsometryTests.ElementaryItoL2Tests.ElementaryItoProcessTests.ElementaryStoppingTimeTests.FellerSemigroupTests.FiniteDimensionalNormBridgeTests.FiniteDimensionalItoProcessTests.ProgressiveDriftIntegralTests.ChewiItoProcessTests.ChewiItoFormulaTests.FiniteTimeGridTests.GeneratorFunctionalInequalitiesTests.GeodesicConvexityTests.Shared.StrongConvexFirstOrderTests.Shared.StrongConvexGradientConverseTests.Shared.ConvexityC1Tests.Shared.ConvexityC2Tests.Shared.SmoothnessEquivalencesTests.Shared.ConvexSmoothGradientTests.Shared.GradientDescentContractionTests.Shared.GradientDescentValueTests.ItoTerminalCompletionTests.ItoHorizonConsistencyTests.ItoHorizonProcessConsistencyTests.ItoIntegralProcessTests.ItoIntegralProcessAfterHorizonTests.ItoIntegralProcessCongruenceTests.KantorovichDualTests.KernelInvarianceTests.KernelTotalVariationTests.LangevinCarreDuChampTests.LaggedDyadicApproximationTests.LaggedDyadicConvergenceTests.LeftLebesgueAverageTests.LocalizationTests.MarkovSemigroupTests.MarkovMeasureEvolutionTests.MartingaleTests.MetricCurveTests.OperatorGeneratorTests.OperatorGeneratorDomainTests.ProbabilityCouplingCompactnessTests.ProgressiveL2Tests.ProgressiveL2DensityTests.ProgressiveL2AlgebraTests.ProgressiveL2HorizonExtensionTests.ProgressiveL2TruncationTests.ProgressiveL2StoppingTests.QuadraticOptimalMapUniquenessTests.RelativeFisherTests.StoppingGraphNullTests.GlobalLocalProgressiveL2Tests.GlobalCanonicalLocalizerLimitTests.DyadicGlobalHorizonTests.GlobalStoppedProgressiveL2Tests.GlobalStoppedL2OverlapTests.GlobalStoppedItoMartingaleTests.GlobalItoProcessGluingTests.ChewiProposition1_1_16Tests.RandomStoppingDyadicApproxTests.RandomStoppingBoundaryTests.RandomStoppingProcessApproxTests.RandomStoppingIntegrandLimitTests.RandomStoppingProgressiveL2Tests.RandomStoppingL2ConvergenceTests.RandomStoppingItoTerminalTests.RandomStoppingL2ContractionTests.RandomStoppingGeneralItoTests.RandomStoppingProcessConsistencyTests.ReversibilityTests.SampledElementaryApproximationTests.SemigroupDecayTests.StoppingTimeTests.TimeMeasureRealBridgeTests.TransportTests.WassersteinSpaceTests.AccumulatedEnergyTests.LocalProgressiveL2Tests.PrefixIntegralTests.EnergyPathContinuityTests.CompletedEnergyTests.CanonicalEnergyLocalizerTests.CanonicalEnergyStoppingTimeTests.CanonicalRawLocalizationTests.CanonicalRawLocalizationL2Tests.CompletedIntegrandTests.EnergyStoppedIntegrandTests.EnergyStoppingBoundaryBridgeTests.EnergyStoppedProgressiveL2Tests.EnergyStoppingL2BridgeTests.CanonicalLocalizationTheoremTests.CanonicalStoppedItoIntegralTests.EnergyStoppedItoOverlapTests.GaussianConditionalKernelTests.SmoothedPicardRGOCalculusTests.SmoothedPicardRecursiveVarianceTests.SmoothedPicardRecursiveDepthTests.SmoothedPicardLogarithmicDepthTests.ProximalBPSReflectionL2Tests.ProximalBPSConditionalScoreTests.ProximalBPSMacroscopicRepresentativeTests.ProximalBPSConditionalScoreDomainTests.ProximalBPSConditionalBochnerTests.ProximalBPSConditionalGradientTests.ProximalBPSConditionalResolventTests.WeightedGradientWeakTests.WeightedGradientDistributionTests.WeightedResolventTests.SmoothedPicardHMCTruncationTests.SmoothedPicardHMCGaussianPowerMomentTests.SmoothedPicardHMCGaussianMixtureTests.SmoothedPicardHMCProxyReverseTransportTests.SmoothedPicardHMCGaussianKLTests.SmoothedPicardHMCRGOBackwardTests.SmoothedPicardHMCTwoNoiseRGOTests.SmoothedPicardHMCAdaptiveCenterRGOTests.SmoothedPicardHMCAdaptiveKLErrorTests.SmoothedPicardHMCStateDependentRGOTests.SmoothedPicardHMCFiniteRGOProgramTests.SmoothedPicardHMCStoppedRGODepthTests.SmoothedPicardHMCFiniteRGOKLErrorTests.SmoothedPicardHMCGaussianRGOErrorBudgetTests.SmoothedPicardHMCStoppedGaussianRGOErrorTests.SmoothedPicardHMCPoissonRejectionTests.SmoothedPicardHMCPoissonQueryTailTests.SmoothedPicardHMCGaussianArcLawTests.SmoothedPicardHMCSmoothGradientArcMomentTests.SmoothedPicardHMCSmoothGradientArcClippingTests.SmoothedPicardHMCGradientArcMeanTests.SmoothedPicardHMCIdealRGOIdentificationTests.SmoothedPicardHMCClippedMeanExponentialTests.SmoothedPicardHMCClippedRenyiComparisonTests.SmoothedPicardHMCTerminalSamplerAccuracyCostTests.SmoothedPicardHMCTerminalReferenceGradientDescentTests.SmoothedPicardHMCApproximateInitialGradientMomentTests.SmoothedPicardHMCJointReferenceGradientDescentTests.SmoothedPicardHMCNormalizedReferenceCallTests.SmoothedPicardHMCReferenceCarryingKernelTests.SmoothedPicardHMCReferenceCarryingCostTests.SmoothedPicardHMCTerminalFORSKernelTests.SmoothedPicardHMCEnhancedTerminalExecutionTests.SmoothedPicardHMCObservationConditionalKernelTests.SmoothedPicardHMCEnhancedKLOneStepTests.SmoothedPicardHMCEnhancedFiniteOutputKLTests.SmoothedPicardHMCProximalGaussianEstimatorTests.SmoothedPicardHMCGibbsPositionMomentTests.SmoothedPicardHMCProximalEstimatorLipschitzTests.SmoothedPicardHMCClippedGradientProgram
Imported by
No local reverse import.
Placeholder scan
0 declaration(s) flagged
Gate status
Partial

Declarations

This aggregator contains no named declarations.