← Search

Yufan Cai

2 accepted papers

2025

Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods

ICML 2025poster

Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing broad aspects of daily life. Despite their remarkable performance, LLMs exhibit a fundamental limitation: hallucination—the tendency to produce misleading outputs that appear plausible. This inherent…

Cited by 0SourcePDFScholar
2023

On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models

NeurIPS 2023poster

Deep learning models are emerging to summarize source code to comment, facilitating tasks of code documentation and program comprehension. Scaled-up large language models trained on large open corpus have achieved good performance in such tasks. However, in practice, the subject code in one ce…

Cited by 9SourcePDFScholar