TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
Alexander K Taylor
Junyi Zhang
Ethan Ji
Vigyan Sahai
Haikang Deng
Yuanzhou Chen
Yifan Yuan
Di Wu
Jia-Chen Gu
Kai-Wei Chang
Nanyun Peng
Amit Sahai
Wei Wang
Papers citing "TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?"
0 / 0 papers shown
No papers found |