Bootstrap percolation via automated conjecturing.
Neal BushawBlake ConkaVinay GuptaAidan KieransHudson LafayetteCraig E. LarsonKevin McCallAndriy MulyarChristine SullivanScott TaylorEvan WainrightEvan WilsonGuanyu WuSarah LoebPublished in: Ars Math. Contemp. (2023)