Counting colorings of triangle-free graphs - Anton Bernshteyn; Tyler Brazelton; Ruijia Cao; Akum Kang (2021)