Paper

Development of a CDH-Specific Conversational Assistant Using RAG

A RAG-based conversational assistant for Congenital Diaphragmatic Hernia questions, with accuracy improving substantially after knowledge-base expansion.

Vanessa Klotzman, Cristina Videira Lopes, John Schomberg, Yostina S. Armanyous, Danielle Linden, Iris Ma

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

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