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). https://doi.org/10.1371/journal.pone.0338821