New Ramsey Multiplicity Bounds and Search Heuristics. - Parczyk, Olaf; Pokutta, Sebastian; Spiegel, Christoph; Szabó, Tibor (Foundations of Computational Mathematics, 2025)