Publications

Conn Breathnach (2024). Applications of Reinforcement Learning to Automated Theorem Proving. Master’s Thesis.

Conn Breathnach, Xiao Qian, Vincent Wade (2023). Who Is Lagging Behind: Profiling Student Behaviors with Graph-Level Encoding in Curriculum-Based Online Learning Systems.