default author photo

Yongqi Lan

Southwest Jiaotong University

No. 111, Sec. North 1, Er-Huan Rd.

Chengdu

Chengdu, 610031

China

  • Southwest Jiaotong University

SCHOLARLY PAPERS

1

DOWNLOADS

53

TOTAL CITATIONS

0

Scholarly Papers (1)

Actions:
Email selected abstracts
1.

Astgnns: A Graph Neural Network Model Integrated Simplified Logical Formula Graph Representation for Premise Selection

Number of pages: 15 Posted: 07 May 2024
Xingxing He, Yongqi Lan, Yingfang Li, Li Zou, Jun Liu, Luis Martínez and Tianrui Li
Southwest Jiaotong University, Southwest Jiaotong University, Southwestern University of Finance and Economics (SWUFE), Shandong Jianzhu University, Ulster University, University of Jaén - Department of Computer Science and Southwest Jiaotong University
Downloads 53 (1,041,696)

Abstract:

Loading...

Premise selection, Graph similarity, Graph representation, Graph neural network, SAGpool-Term-Walk