NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Jianlin Wang
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2025
Latest ACL Paper:- 2025
Venues:-
ACL
Co-Authors:-
Gaolei He
Lei Wang
Ruobing Zuo
Zhengfeng Yang
Similar Authors:-
2025
QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs
ACL
Lei Wang |
Ruobing Zuo |
Gaolei He |
Jianlin Wang |
Zhengfeng Yang |
.