Bibliography (5):
Training Verifiers to Solve Math Word Problems
Measuring Mathematical Problem Solving With the MATH Dataset
GPT-3: Language Models are Few-Shot Learners
Wikipedia Bibliography:
https://en.wikipedia.org/wiki/Natural-language_understanding :
https://en.wikipedia.org/wiki/Natural-language_understanding
Metamath