1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2025
Agentic Verification of Software Systems
Haoxin Tu, Huan Zhao, Yahui Song +3
Automatically generated code is gaining traction recently, owing to the prevalence of Large Language Models (LLMs). Further, the AlphaProof initiative has demonstrated the possibil…
cs.CL2025
Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning
Ningke Li, Yahui Song, Kailong Wang +4
Large language models (LLMs) face the challenge of hallucinations -- outputs that seem coherent but are actually incorrect. A particularly damaging type is fact-conflicting halluci…
cs.PL2023★ 1 cited
Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
Darius Foo, Yahui Song, Wei-Ngan Chin
Higher-order functions and imperative states are language features supported by many mainstream languages. Their combination is expressive and useful, but complicates specification…