@inproceedings{ParczykPokuttaSpiegeletal.2023, author = {Olaf Parczyk and Sebastian Pokutta and Christoph Spiegel and Tibor Szab{\´o}}, title = {Fully Computer-assisted Proofs in Extremal Combinatorics}, booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence}, volume = {37}, number = {10}, pages = {12482 -- 12490}, doi = {10.1609/aaai.v37i10.26470}, year = {2023}, }