TY  - RPRT
TI  - ATG: Benchmarking Automated Theorem Generation for Generative Language Models
AU  - Xiaohan Lin
AU  - Qingxing Cao
AU  - Yinya Huang
AU  - Zhicheng Yang
AU  - Zhengying Liu
AU  - Zhenguo Li
AU  - Xiaodan Liang
PY  - 2024
UR  - https://arxiv.org/abs/2405.06677
ID  - 2405.06677
ER  -