TY  - RPRT
TI  - Graph Sequence Learning for Premise Selection
AU  - Edvard K. Holden
AU  - Konstantin Korovin
PY  - 2023
UR  - https://arxiv.org/abs/2303.15642
ID  - 2303.15642
ER  -