@misc{indiciaee7f081b6ab27,
  title = {ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers},
  author = {Jiayi Wu and Robert Joseph George and Anima Anandkumar},
  year = {2026},
  url = {https://arxiv.org/abs/2607.19407},
  note = {Source identifier: 2607.19407}
}