2025
XingXing He, Zhongxu Zhao, Yongqi Lan, Yingfang Li, Li Zou, Jun Liu, Luis Martínez, Tianrui Li
Integrating a simplified formula graph representation into a graph neural network model for premise selection
https://doi.org/10.1016/j.asoc.2025.113318
1-s2.0-S1568494625006295-main_0.pdf1.94 MB
Applied Soft Computing, p. 113318, 2025.
2015
Tianrui Li, Jie Lu, Luis Martínez
Preface: Intelligent Techniques for Data Science
10.1002/int.21728
International Journal of Intelligent Systems, vol. 30, n.º 8, pp. 851-853, 2015.