Certifying the Decidability of the Word Problem in Monoids at Large. - Reinis Cirpons; Florent Hivert; Assia Mahboubi; Guillaume Melquiond; James D. Mitchell; Finn Smith (CPP, 2026)