Neal Bushaw, Blake Conka, Vinay Gupta, Aidan Kierans, Hudson Lafayette, Craig E. Larson, Kevin McCall, Andriy Mulyar, Christine Sullivan, Scott Taylor, Evan Wainright, Evan Wilson, Guanyu Wu, Sarah Loeb. Bootstrap percolation via automated conjecturing. Ars Math. Contemp., 23(3), January 2023. [doi]
Abstract is missing.