2024
Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search
IJCAI 2024poster
This work proposes a new learning-to-search benchmark and uses AI to discover new mathematical knowledge related to an open conjecture of Erdos (1975) in extremal graph theory. The problem is to find graphs with a given size (number of nodes) that maximize the number of edges without having 3- or 4-…