NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Han Shi
Number of Papers:- 2
Number of Citations:- 0
First ACL Paper:- 2023
Latest ACL Paper:- 2024
Venues:-
s
A
d
i
-
L
ACL
C
F
n
g
Co-Authors:-
Enze Xie
Haiming Wang
James Kwok
Jian Yin
Jianhao Shen
Similar Authors:-
2024
2023
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 |
.