NeuroTactic
NeuroTactic
**NeuroTactic** is a model for theorem proving which leverages [graph neural networks](https://paperswithcode.com/methods/category/graph-models) to represent the theorem and premises, and applies graph contrastive learning for pre-training. Specifically, premise selection is designed as a pretext task for the graph contrastive learning approach. The learned representations are then used for the downstream task, tactic prediction
Graph Contrastive Pre-training for Effective Theorem Reasoning
https://paperswithcode.com/paper/graph-contrastive-pre-training-for-effective
Graph Contrastive Pre-training for Effective Theorem Reasoning