Some recent work: A group-theoretic approach to formalizing bootstrapping problems (PDF). See also the supplemental videos page.
Some recent work: A group-theoretic approach to formalizing bootstrapping problems (PDF). See also the supplemental videos page.