A Systematization of the Wagner Framework: Graph Theory Conjectures and Reinforcement Learning

Flora Angileri, Giulia Lombardi, Andrea Fois +9

In 2021, Adam Zsolt Wagner proposed an approach to disprove conjectures in graph theory using Reinforcement Learning (RL). Wagner's idea can be framed as follows: consider a conjec…