NLPExplorer

Zhengying Liu

Number of Papers:- 4

Number of Citations:- 0

First ACL Paper:- 2023

Latest ACL Paper:- 2024

Venues:-

s

EMNLP

d

i

-

A

L

ACL

C

N

F

n

g

Co-Authors:-

Chuanyang Zheng

Similar Authors:-

ATG: Benchmarking Automated Theorem Generation for Generative Language Models F i n d i n g s - N A A C L

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

Forward-Backward Reasoning in Large Language Models for Mathematical Verification F i n d i n g s - A C L

Weisen Jiang | Han Shi | Longhui Yu | Zhengying Liu | Yu Zhang | Zhenguo Li | James Kwok |

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 |

.