@misc{indiciae1482aaa87176,
  title = {EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages},
  author = {Johnathan Mercer},
  year = {2024},
  url = {https://arxiv.org/abs/2402.16878},
  note = {Source identifier: 2402.16878}
}