一阶逻辑中基于treelet图神经网络的前提选择

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

一阶逻辑中基于treelet图神经网络的前提选择

马雪, 何星星, 兰咏琪, 李莹芳

Treelet-based graph neural network for premise selection in first-order logic

MA Xue, HE Xing-xing, LAN Yong-qi, LI Ying-fang

计算机工程与科学 . 2024, (02): 374 -380 .