See GPT-f for combining a transformer model (with pre-trained language weights?) with alphazero style training to learn to prove theorems
Oh, I had actually seen that paper. Forgot that they did that though. Thanks!
See GPT-f for combining a transformer model (with pre-trained language weights?) with alphazero style training to learn to prove theorems
Oh, I had actually seen that paper. Forgot that they did that though. Thanks!