@misc{indiciaec44d72d39268,
  title = {TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?},
  author = {Alexander K Taylor and Junyi Zhang and Ethan Ji and Vigyan Sahai and Haikang Deng and Yuanzhou Chen and Yifan Yuan and Di Wu and Jia-Chen Gu and Kai-Wei Chang and Nanyun Peng and Amit Sahai and Wei Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2603.12744},
  note = {Source identifier: 2603.12744}
}