论文10:25
Imitation Learning for Connection-Tableau ConstructionCheck 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.