NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Ran Xin
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2025
Latest ACL Paper:- 2025
Venues:-
ACL
Co-Authors:-
Chenguang Xi
Feng Chen
Hang Wu
Jie Yang
Ming Ding
Similar Authors:-
2025
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
ACL
Ran Xin |
Chenguang Xi |
Jie Yang |
Feng Chen |
Hang Wu |
Xia Xiao |
Yifan Sun |
Shen Zheng |
Ming Ding |
.