Create a Generative Pretrained Transformer model for Metamath to generate metamath assertions
A) You can run main.ipynb that includes all steps.
B) Or, you can run the following notebooks found in the folder notebooks:
- create_corpus01.ipynb
- create_corpus.ipynb
- train_model.ipynb
- make_inference.ipynb