Nombre
Zhongxu
Apellidos
Zhao

Referencias

Integrating a simplified formula graph representation into a graph neural network model for premise selection
International Journal
Year of publication
2025
Author
XingXing He
Zhongxu Zhao
Yongqi Lan
Yingfang Li
Li Zou
Jun Liu
Luis Martínez
Tianrui Li
Pagination
113318
Keywords
Premise selection
Graph similarity
Graph representation
Graph neural network
SAGpool-Term-Walk
DOI
https://doi.org/10.1016/j.asoc.2025.113318
Journal
Applied Soft Computing
ISSN Number
1568-4946
URL
https://www.sciencedirect.com/science/article/pii/S1568494625006295
He, X. X., et al. «Integrating A Simplified Formula Graph Representation Into A Graph Neural Network Model For Premise Selection». Applied Soft Computing, 2025, p. 113318.
Documento
1-s2.0-S1568494625006295-main_0.pdf1.94 MB
Altamente citado
Off
Hot paper
Off
Número especial
Off
View