Graph sequence learning for premise selection
-
Published:2025-05
Issue:
Volume:128
Page:102376
-
ISSN:0747-7171
-
Container-title:Journal of Symbolic Computation
-
language:en
-
Short-container-title:Journal of Symbolic Computation
Author:
Holden Edvard K.ORCID,
Korovin KonstantinORCID
Reference64 articles.
1. Premise selection for mathematics by corpus analysis and kernel methods;Alama;J. Autom. Reason.,2014
2. Proving theorems using incremental learning and hindsight experience replay;Aygün,2022