Treelet-based graph neural network for premise selection in first-order logic
MA Xue1,HE Xing-xing1,LAN Yong-qi1,LI Ying-fang2
(1.School of Mathematics,Southwest Jiaotong University,Chengdu 611756;
2.School of Computing and Artificial Intelligence,Southwestern University of Finance and Economics,Chengdu 611130,China)
MA Xue, HE Xing-xing, LAN Yong-qi, LI Ying-fang. Treelet-based graph neural network for premise selection in first-order logic[J]. Computer Engineering & Science, 2024, 46(02): 374-380.