OAI/Combinatorics/EditApproximation/Refinement/PhysicalConditionalAccuracy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Conditional accuracy of coarse sampling, adaptive median passes and the final fresh query.

  1. def OAI.EditApproximation.wholeFinalAnswer line 24
  2. theorem OAI.EditApproximation.wholeFinalAnswer_equal line 29
  3. theorem OAI.EditApproximation.physical_conditional_accuracy line 35