OAI/Probability/SKGap/Localization/BufferedSelectionDiagnostics.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Recipe.vector_flip_additive line 15
2. lemma OAI.SKGapCutoff.Recipe.vector_neighborhood_twice_buffer line 26
3. theorem OAI.SKGapCutoff.Recipe.buffered_selected_initial_diagnostics line 45
4. def OAI.SKGapCutoff.Recipe.literalCoefficientBudget line 123
5. lemma OAI.SKGapCutoff.Recipe.literalInitial_coefficientClass line 127
6. lemma OAI.SKGapCutoff.Recipe.literalInitial_seed_bound line 174