1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
Integrating AI Tutors in a Programming Course
Iris Ma, Alberto Krone Martins, Cristina Videira Lopes
RAGMan is an LLM-powered tutoring system that can support a variety of course-specific and homework-specific AI tutors. RAGMan leverages Retrieval Augmented Generation (RAG), as we…
Commit Messages in the Age of Large Language Models
Cristina V. Lopes, Vanessa I. Klotzman, Iris Ma +1
Commit messages are explanations of changes made to a codebase that are stored in version control systems. They help developers understand the codebase as it evolves. However, writ…
Towards AI-Assisted Synthesis of Verified Dafny Methods
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma +1
Large language models show great promise in many domains, including programming. A promise is easy to make but hard to keep, and language models often fail to keep their promises,…