ATWGNNS: Graph simplified representation and learning of logical formula for premise selection

Xingxing He, Zhongxu Zhao, Yongqi Lan, Yingfang Li, Li Zou, Luis Martínez 0001, Tianrui Li 0001. ATWGNNS: Graph simplified representation and learning of logical formula for premise selection. Artificial Intelligence, 357:104562, 2026. [doi]

Abstract

Abstract is missing.