OAI/Probability/SATVariance/FiberRefresh.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.RandomKSAT.favg_sigma line 13
  2. lemma OAI.RandomKSAT.favg_pi_product line 25
  3. lemma OAI.RandomKSAT.favg_pi_eval line 33
  4. lemma OAI.RandomKSAT.favg_pi_restrict line 42
  5. def OAI.RandomKSAT.clauseCastEquiv line 61
  6. lemma OAI.RandomKSAT.clauseRead_cast line 64
  7. abbrev OAI.RandomKSAT.RefreshNoise line 69
  8. def OAI.RandomKSAT.trueRoot line 71
  9. lemma OAI.RandomKSAT.trueRoot_spec line 74
  10. def OAI.RandomKSAT.refreshPart line 77
  11. lemma OAI.RandomKSAT.favg_refreshPart line 84
  12. lemma OAI.RandomKSAT.favg_refresh_stationary line 113
  13. def OAI.RandomKSAT.refreshClause line 127
  14. lemma OAI.RandomKSAT.favg_refreshClause line 132
  15. lemma OAI.RandomKSAT.favg_pointwise_refresh line 151
  16. def OAI.RandomKSAT.pathReward line 191
  17. def OAI.RandomKSAT.uniformStep line 196
  18. lemma OAI.RandomKSAT.uniformStep_mono line 199
  19. lemma OAI.RandomKSAT.uniformStep_add line 204
  20. lemma OAI.RandomKSAT.uniformStep_mul line 210
  21. lemma OAI.RandomKSAT.uniformStep_const line 216
  22. lemma OAI.RandomKSAT.uniformStep_add_const line 222
  23. lemma OAI.RandomKSAT.pathReward_avg line 227
  24. lemma OAI.RandomKSAT.markovSum_mul line 239
  25. lemma OAI.RandomKSAT.pathReward_sq_potential line 251