Teaching Computer Science Theory Courses with LLM-enhanced Automatic Proof Assistant
| Project Title | Teaching Computer Science Theory Courses with LLM-enhanced Automatic Proof Assistant |
|---|---|
| Principal Investigator | Kelin Luo |
| Campus | Buffalo (UB) |
| Year of Project | 2025 |
| Funding | $40,300.00 |
| Brief Description | 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. |
| Collaborators | Xiangyu Guo, Assistant Professor of Teaching, Department of Computer Science and Engineering, SUNY at Buffalo; Chong Liu, Assistant Professor, Department of Computer Science, SUNY at Albany |