TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib? - Alexander K. Taylor 002; Junyi Zhang; Ethan Ji; Vigyan Sahai; Haikang Deng; Yuanzhou Chen; Yifan Yuan; Di Wu 054; Jia-Chen Gu; Kai-Wei Chang 001; Nanyun Peng 001; Amit Sahai; et al. (CoRR, 2026)