NLPExplorer

Zhenguo Li

Number of Papers:- 3

Number of Citations:- 0

First ACL Paper:- 2023

Latest ACL Paper:- 2024

Venues:-

s

A

d

i

-

L

ACL

C

N

F

n

g

Co-Authors:-

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 |

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 |

.