NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Zhengfeng Yang
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2025
Latest ACL Paper:- 2025
Venues:-
ACL
Co-Authors:-
Gaolei He
Jianlin Wang
Lei Wang
Ruobing Zuo
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 |
.