NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Wotao Yin
Number of Papers:- 2
Number of Citations:- 0
First ACL Paper:- 2024
Latest ACL Paper:- 2024
Venues:-
EMNLP
NAACL
Co-Authors:-
Bing Qin
Cheng Yang
Fangquan Lin
Jianzhu Bao
Jihai Zhang
Similar Authors:-
2024
Solving General Natural-Language-Description Optimization Problems with Large Language Models
NAACL
Jihai Zhang |
Wei Wang |
Siyan Guo |
Li Wang |
Fangquan Lin |
Cheng Yang |
Wotao Yin |
BC-Prover: Backward Chaining Prover for Formal Theorem Proving
EMNLP
Yuhang He |
Jihai Zhang |
Jianzhu Bao |
Fangquan Lin |
Cheng Yang |
Bing Qin |
Ruifeng Xu |
Wotao Yin |
.