NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Jing Xiong
Number of Papers:- 2
Number of Citations:- 0
First ACL Paper:- 2023
Latest ACL Paper:- 2023
Venues:-
EMNLP
ACL
Co-Authors:-
Chuanyang Zheng
Enze Xie
Haiming Wang
Han Shi
Jian Yin
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 |
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL
Haiming Wang |
Ye Yuan |
Zhengying Liu |
Jianhao Shen |
Yichun Yin |
Jing Xiong |
Enze Xie |
Han Shi |
Yujun Li |
Lin Li |
Jian Yin |
Zhenguo Li |
Xiaodan Liang |
.