Bibliography (4):

1. HTPS: HyperTree Proof Search for Neural Theorem Proving

2. Generative Language Modeling for Automated Theorem Proving

3. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

4. Wikipedia Bibliography:

   1. https://en.wikipedia.org/wiki/List_of_mathematics_competitions  :

      https://en.wikipedia.org/wiki/List_of_mathematics_competitions