ATG: Benchmarking Automated Theorem Generation for Generative Language Models

Xiaohan Lin | Qingxing Cao | Yinya Huang | Zhicheng Yang | Zhengying Liu | Zhenguo Li | Xiaodan Liang |

Paper Details:

Month: June
Year: 2024
Location: Mexico City, Mexico
Venue: F | i | n | d | i | n | g | s | - | N | A | A | C | L |

Citations

URL

No Citations Yet

Field Of Study