Bibliography (6):

1. Solving Quantitative Reasoning Problems with Language Models

2. Training Verifiers to Solve Math Word Problems

3. Measuring Mathematical Problem Solving With the MATH Dataset

4. MultiArith: Solving General Arithmetic Word Problems

5. https://github.com/jinpz/dtv

6. Wikipedia Bibliography:

   1. https://en.wikipedia.org/wiki/Isabelle_(proof_assistant)  :

      https://en.wikipedia.org/wiki/Isabelle_(proof_assistant)