@misc{indiciae77bea4a7b2d8,
  title = {TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics},
  author = {QuocViet Pham and Elvir Karimov and Andrey Galichin and Ivan Oseledets},
  year = {2026},
  url = {https://arxiv.org/abs/2606.09450},
  note = {Source identifier: 2606.09450}
}