Bibliography (11):

1. https://arxiv.org/pdf/2009.03393.pdf#page=7

2. Proof Artifact Co-training for Theorem Proving with Language Models

3. https://github.com/jesse-michael-han/lean-gptf

4. SymbolicGPT: A Generative Transformer Model for Symbolic Regression

5. Measuring Mathematical Problem Solving With the MATH Dataset

6. Measuring Coding Challenge Competence With APPS

7. Learning to Prove Theorems by Learning to Generate Theorems

8. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

9. Wikipedia Bibliography:

   1. Transformer (deep learning architecture)

   2. Metamath

   3. Lean (proof assistant)