NLPExplorer

Jing Xiong

Number of Papers:- 3

Number of Citations:- 0

First ACL Paper:- 2023

Latest ACL Paper:- 2024

Venues:-

s

EMNLP

i

d

-

L

P

ACL

E

M

N

F

n

g

Co-Authors:-

Chuanyang Zheng

Similar Authors:-

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations F i n d i n g s - E M N L P

Zhicheng Yang | Yinya Huang | Jing Xiong | Liang Feng | Xiaodan Liang | Yiwei Wang | Jing Tang |

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 |

.