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