NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Enze Xie
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2023
Latest ACL Paper:- 2023
Venues:-
ACL
Co-Authors:-
Haiming Wang
Han Shi
Jian Yin
Jianhao Shen
Jing Xiong
Similar Authors:-
2023
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 |
.