LLMs

Integrating AI Tutors in a Programming Course
RAGMan is an LLM-powered tutoring system that can support a variety of course-specific and homework-specific AI tutors.
Iris Ma, Alberto Krone Martins, Cristina Videira Lopes
PDF Cite
Towards AI-Assisted Synthesis of Verified Dafny Methods
LLM shows “great promise” in code synthesis. Can LLM keep “the promise” to ensure that its synthesis code is formally correct?
Md Rakib Hossain Misu, Cristina Videira Lopes, Iris Ma, James Noble
PDF Cite