Bibliography (4):
HTPS: HyperTree Proof Search for Neural Theorem Proving
Generative Language Modeling for Automated Theorem Proving
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Wikipedia Bibliography:
https://en.wikipedia.org/wiki/List_of_mathematics_competitions :
https://en.wikipedia.org/wiki/List_of_mathematics_competitions