default author photo

Yingfang Li

Southwestern University of Finance and Economics (SWUFE)

Chengdu

China

  • Southwestern University of Finance and Economics (SWUFE)

SCHOLARLY PAPERS

1

DOWNLOADS

52

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 52 (1,041,696)

Abstract:

Loading...

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