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