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
Pagination
113318
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.
Altamente citado
Off
Hot paper
Off
Número especial
Off