Integrating a simplified formula graph representation into a graph neural network model for premise selection

Autores: Xingxing He and Zhongxu Zhao and Yongqi Lan and Yingfang Li and Li Zou and Jun Liu and Luis Martinez and Tianrui Li

Tipo: articulo_revista

Año: 2025

Revista: APPLIED SOFT COMPUTING

Volumen: 180

DOI: 10.1016/j.asoc.2025.113318

Descargar BibTeX