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

5 papers

cs.HC2026

Evaluation of Motivational Interviewing Counsellors with Task-Aware Multi-Stage LLM-Based Simulated Clients

Jiading Zhu, Xinyu Cindy Wang, Thomas Nguyen +4

The development and benchmarking of Large Language Model (LLM)-based Motivational Interviewing (MI) counsellors now often rely on LLM-based simulated clients. Prior work on simulat…

cs.CL2026

What are They Thinking? Delineation, Probing, and Tracking of Concepts in LLMs

Mohamed Abdelwahab, Michelle Yu Collins, Sihan Chen +5

As the influence of LLMs expands, it is imperative to gain insight into their decisions. One way to do that is to develop probes that detect the presence or absence of a broad set…

cs.CL2025

A Fully Generative Motivational Interviewing Counsellor Chatbot for Moving Smokers Towards the Decision to Quit

Zafarullah Mahmood, Soliman Ali, Jiading Zhu +12

The conversational capabilities of Large Language Models (LLMs) suggest that they may be able to perform as automated talk therapists. It is crucial to know if these systems would…

cs.SE2025★ 1 cited

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation

Sicheng Zhong, Jiading Zhu, Yifang Tian +1

Scaling automated formal verification to real-world projects requires resolving cross-module dependencies and global contexts, which are challenges overlooked by existing function-…

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…