Integrating a simplified formula graph representation into a graph neural network model for premise selection. - Xingxing He; Zhongxu Zhao; Yongqi Lan; Yingfang Li; Li Zou; Jun Liu 001; Luis Martínez 001; Tianrui Li 001 (Appl. Soft Comput., 2025)