NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Chuanyang Zheng
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2023
Latest ACL Paper:- 2023
Venues:-
EMNLP
Co-Authors:-
Haiming Wang
Jianhao Shen
Jing Xiong
Lin Li
Ming Zhang
Similar Authors:-
2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP
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 |
Qun Liu |
.