OAI.TraceReconstruction.initial_pure_sigma_clipped_exists: intermediate lemma from OpenAI, Quantitative lower bounds for trace reconstruction

Initializing...

OAI.TraceReconstruction.initial_pure_sigma_clipped_exists: intermediate lemma from OpenAI, Quantitative lower bounds for trace reconstruction · Prove2Me