Project Outcomes

This project advances AI-powered teaching and learning across SUNY by enhancing adaptive learning platforms, developing interdisciplinary curricula, and promoting sustainable, responsible use of AI through research, OER creation, and community engagement.

https://brockportsigai.org, https://access2.brockportsigai.org, https://aipilot2.brockportsigai.org

This project integrates Large Language Models (LLMs) with proof assistants like Lean or Coq in CS theory courses to enhance learning through automated proof verification, making abstract concepts more accessible while supporting self-assessment and improving instructional strategies.

(1) GitHub repository containing examples, exercises, proof-assistant materials: https://github.com/Lean4CStheory/Lean4CStheory-Exercises.git; (2) Conference presentation: SUNY CIT 2026, "Teaching CS Theory Courses with LLM-Enhanced Automatic Proof Assistants"; (3)Publication and Conference Presentation: ACL 2026, "HintMR: Eliciting Stronger Mathematical Reasoning in Small Language Models" https://arxiv.org/pdf/2604.12229

This project uses AI tools like ChatGPT and Copilot to make economics more engaging and accessible through interactive simulations, podcasts, and critical thinking activities—equipping students with real-world skills while helping faculty deliver complex content in more engaging and accessible ways.

Project currently ongoing