“A Symbolic Model of Proof Acquisition in ACT-R”. 2026. University of Denver Undergraduate Research Journal 7 (1). https://duurjportal.com/index.php/duurj/article/view/263.