NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Bach Le
Number of Papers:- 1
Number of Citations:- 0
First ACL Paper:- 2025
Latest ACL Paper:- 2025
Venues:-
ACL
Co-Authors:-
Thanh Le Cong
Toby Murray
Similar Authors:-
2025
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
ACL
Thanh Le-Cong |
Bach Le |
Toby Murray |
.