KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. - Wang, Zi; Zhu, Xiaoyu; Wang, Hongqiang; Yu, Yichun; Lan, Yuqing (PLoS ONE, 2025)