@article{taobenchdoautomatedtheoremproverllmsgene,
  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},
  eprint = {2603.12744},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2603.12744},
}