NewsHomeNewsAdmission CTAsRequest InfoVisitApply Automated Conjecture-MakingOct 30, 2015Automated Conjecture-MakingCraig Larson, Virginia Commonwealth University