OAI/Combinatorics/SharpRamsey/Learning/
344 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- DescriptionHeaders.lean 6 declarations
- EnumeratedCover.lean 2 declarations
- FiniteHeaderUnion.lean 3 declarations
- GreedyIndexed.lean 42 declarations
- HighRankPrepared.lean 1 declarations
- LearningScalar.lean 4 declarations
- PoissonSupport.lean 5 declarations
- PreparationInvariance.lean 5 declarations
- PreparedDecoder.lean 14 declarations
- PreparedDescription.lean 3 declarations
- PreparedGeometry.lean 6 declarations
- PreparedIncidence.lean 3 declarations
- PreparedOverlapBounds.lean 3 declarations
- PreparedPointProposals.lean 10 declarations
- PreparedProposals.lean 44 declarations
- PreparedResidualBounds.lean 1 declarations
- PreparedShortRow.lean 3 declarations
- PreparedSource.lean 4 declarations
- PreparedSparse.lean 3 declarations
- PreparedTypical.lean 7 declarations
- PreparedVariance.lean 19 declarations
- PublicDecoderCover.lean 2 declarations
- ReadyTests.lean 6 declarations
- RegularPreparationBounds.lean 2 declarations
- SizeHeader.lean 1 declarations
- TestActualMoment.lean 4 declarations
- TestActualRow.lean 5 declarations
- TestLearningIncidence.lean 8 declarations
- TestLearningRowBase.lean 54 declarations
- TestPointTail.lean 43 declarations
- TestRowBounds.lean 3 declarations
- TestRowEmpty.lean 7 declarations
- TestRowScore.lean 14 declarations
- TestRowSize.lean 3 declarations
- ValidationCover.lean 4 declarations