activity
20242026
most citedRAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.CL2024

Generation, Distillation and Evaluation of Motivational Interviewing-Style Reflections with a Foundational Language Model

Andrew Brown, Jiading Zhu, Mohamed Abdelwahab +3

Large Foundational Language Models are capable of performing many tasks at a high level but are difficult to deploy in many applications because of their size and proprietary owner…