FormalMATH: Benchmarking Form | Pangram Labs