Song, Yahui
- Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning
2025/02/19 by Ningke Li, Yahui Song, Li, Ningke +11 · 2 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Topological and Geometric Data Analysis
- Agentic Program Verification
2025/11/21 by Tu, Haoxin, Zhao, Huan, Song, Yahui +3 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)