Disproving conjectures in spectral graph theory with AI

Researcher(s)

  • Julio Carrillo Soto, Statistics, University of Delaware

Faculty Mentor(s)

  • Sebastian Cioaba, Department of Mathematical Sciences, University of Delaware

Abstract

Graph theory deals with the abstract study of networks. In this talk, I will discuss some recent work of Wagner using AI in disproving conjectures in graph theory and our attempts at extending his results to other conjectures.