Bibliography (3):

1. https://github.com/wellecks/naturalprover

2. NaturalProofs: Mathematical Theorem Proving in Natural Language

3. GPT-3: Language Models are Few-Shot Learners