#graph neural network

Check out this research on using graph neural networks for theorem proving. It outperforms leanCoP by solving more problems in fewer steps, thanks to policy learning from existing proofs.