1 citations · 2 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
Jacqueline L. Mitchell, Brian Hyeongseok Kim, Chenyu Zhou +1
Large language models (LLMs) are increasingly used for program verification, and yet little is known about \emph{how} they reason about program semantics during this process. In th…
cs.AI2025★ 1 cited
Large Language Models for Interpretable Mental Health Diagnosis
Brian Hyeongseok Kim, Chao Wang
We propose a clinical decision support system (CDSS) for mental health diagnosis that combines the strengths of large language models (LLMs) and constraint logic programming (CLP).…