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