This repository contains the code for my Mathematics degree dissertation, developed Sep 2022 - Jan 2023.
Thesis title: Learning-Powered Computer-Assisted Counterexample Search. Using Reinforcement Learning to Refute Spectral Graph Theory Conjectures.