TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang 0004, Qun Liu 0001. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. In Houda Bouamor, Juan Pino 0001, Kalika Bali, editors, Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023. pages 11594-11632, Association for Computational Linguistics, 2023. [doi]

This author has not been identified. Look up 'Jing Xiong' in GoogleThis author has not been identified. Look up 'Jianhao Shen' in GoogleThis author has not been identified. Look up 'Ye Yuan' in GoogleThis author has not been identified. Look up 'Haiming Wang' in GoogleThis author has not been identified. Look up 'Yichun Yin' in GoogleThis author has not been identified. Look up 'Zhengying Liu' in GoogleThis author has not been identified. Look up 'Lin Li' in GoogleThis author has not been identified. Look up 'Zhijiang Guo' in GoogleThis author has not been identified. Look up 'Qingxing Cao' in GoogleThis author has not been identified. Look up 'Yinya Huang' in GoogleThis author has not been identified. Look up 'Chuanyang Zheng' in GoogleThis author has not been identified. Look up 'Xiaodan Liang' in GoogleThis author has not been identified. Look up 'Ming Zhang 0004' in GoogleThis author has not been identified. Look up 'Qun Liu 0001' in Google

runs on WebDSL