TY  - RPRT
TI  - TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
AU  - Alexander K Taylor
AU  - Junyi Zhang
AU  - Ethan Ji
AU  - Vigyan Sahai
AU  - Haikang Deng
AU  - Yuanzhou Chen
AU  - Yifan Yuan
AU  - Di Wu
AU  - Jia-Chen Gu
AU  - Kai-Wei Chang
AU  - Nanyun Peng
AU  - Amit Sahai
AU  - Wei Wang
PY  - 2026
UR  - https://arxiv.org/abs/2603.12744
ID  - 2603.12744
ER  -