OAI/Probability/LogConcave/OraclePrograms/
369 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- CalibratedMeanCircuit.lean 2 declarations
- CenteringMeanCircuit.lean 5 declarations
- CenteringMeanCircuitFull.lean 1 declarations
- CircuitBoundUpto.lean 2 declarations
- CircuitD.lean 12 declarations
- CircuitParameters.lean 15 declarations
- DampingCoefficient.lean 15 declarations
- Expression.lean 38 declarations
- Fresh.lean 3 declarations
- FullTape.lean 26 declarations
- IndependentSeq.lean 3 declarations
- MeanCorrect.lean 14 declarations
- MeanSize.lean 21 declarations
- MeanTreeBase.lean 3 declarations
- NoisyCenterSquaredError.lean 1 declarations
- NoisyCircuit.lean 2 declarations
- PairDistBounds.lean 11 declarations
- PrimitiveProducer.lean 1 declarations
- Program.lean 74 declarations
- ReservedProgram.lean 13 declarations
- RoutineBudget.lean 3 declarations
- RoutineKind.lean 8 declarations
- SampleCorrect.lean 1 declarations
- SampleParentEquivariant.lean 7 declarations
- SeedProgram.lean 3 declarations
- Shape.lean 34 declarations
- ShiftInvariant.lean 7 declarations
- SlotTransformAddShift.lean 6 declarations
- StandaloneCorrect.lean 7 declarations
- TerminalMean.lean 13 declarations
- TerminalMeanEquivariant.lean 3 declarations
- TerminalMeanProgram.lean 8 declarations
- TopProgram.lean 6 declarations
- TvPre.lean 1 declarations