Shih, Yu-An

1. Enhancing Distractor Generation for Multiple-Choice Questions with Retrieval Augmented Pretraining and Knowledge Graph Integration
   2024/06/19 by Yu, Han-Cheng, Shih, Yu-An, Law, Kin-Man +6 · 3 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
2. FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
   2025/04/24 by Yu-An Shih, Shih, Yu-An, Aarti Gupta +4 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Petri Nets in System Modeling #Software Engineering (cs.SE)