OAI/Probability/Perceptron/Interpolation/
272 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- AnnealedMarkedReplica.lean 1 declarations
- AnnealedReplicaConvergence.lean 3 declarations
- ArrayGeometry.lean 14 declarations
- ArrayLawExt.lean 1 declarations
- ArrayLimitGeometry.lean 4 declarations
- ArrayTangentConsistency.lean 2 declarations
- CompactArrayMap.lean 16 declarations
- CountableGaussianReplicaIBP.lean 6 declarations
- FieldArray.lean 5 declarations
- FiniteOverlap.lean 28 declarations
- FiniteVectorReplica.lean 4 declarations
- GaussianReplicaFubini.lean 3 declarations
- GibbsArrayGeometry.lean 3 declarations
- GibbsOverlapArray.lean 6 declarations
- GibbsReplicaMean.lean 7 declarations
- IntegrableReplicaGibbs.lean 11 declarations
- KernelInfiniteReplica.lean 17 declarations
- KernelReplicaGibbs.lean 10 declarations
- NonlinearReplicaIBP.lean 2 declarations
- OverlapArray.lean 48 declarations
- OverlapBlock.lean 18 declarations
- PerturbationComparison.lean 4 declarations
- PerturbationContact.lean 8 declarations
- ReplicaIBP.lean 5 declarations
- ReplicaMeanConst.lean 7 declarations
- RestorationReplicaBlocks.lean 3 declarations
- TerminalReplicaRestoration.lean 8 declarations
- TiltReplicaCoordinate.lean 23 declarations
- TripleGaussianReplica.lean 4 declarations
- VectorReplicaDirectionBound.lean 1 declarations