Zhuang Li

LLMs struggle with clinical numeracy tasks like comparing and aggregating patient measurements, even though they excel at retrieving the values themselves, raising concerns about their reliability in clinical decision support.

LLMs can autonomously fix concurrency bugs, even without prior bug information, by intelligently extracting relevant context using Static Happens-Before Graphs.