Zi Wang, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu, Yuqing Lan. "KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models." PLoS ONE, 2025. doi:10.1371/journal.pone.0338821