C. E. Larson - automated mathematical discovery, graph theory

Craig Larson

	Fall 2026 course: Orthogonal Representations, Lovasz' Theta & Independent Sets (MATH 756) Graph Brain Project: Github, description. Automated Conjecturing for Sage Google Scholar Citations VCU Discrete Math Seminar Graph Theory: Problems and Conjectures book.