Hugging Peers

Le, Bach

☆ Save

6 papers 44 citations h-index 1 2025–2026

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Thanh Le-Cong, Le, Bach, Toby Murray

Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied, leaving...

44 citations 2025-02 arXiv (Cornell University)

Athena: Vulnerability-Affected Library Identification via Knowledge Graph Completion

Duy, Phong Trinh, Yen, Trang Dang, Nguyen-Huu, Hung, Thang, Huynh Quyet, Le, Bach, Vu, Dieu Hoang
+2 more show fewer
Lo, David, Le-Cong, Thanh
2026-01 Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming

Anh, Lang Hong Nguyet, Lang, Eric, Le, Bach, Thang, Huynh Quyet, Le-Cong, Thanh
2026-01 Findings of the Association for Computational Linguistics: EMNLP 2026

Beyond Repository Boundaries: Cross-Repository Graph Retrieval for Code Generation

Le-Anh, Minh, Hai, Nam Le, Tran, Quyen, Hoang, Anh Nguyen, Van, Linh Ngo, Le, Bach
+1 more show fewer
Bui, Nghi D. Q.
2026-01 Findings of the Association for Computational Linguistics: EMNLP 2026

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Le-Cong, Thanh, Le, Bach, Murray, Toby
2025-01 Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

CodeWiki: Evaluating AI's Ability to Generate Holistic Documentation for Large-Scale Codebases

Hoang, Anh Nguyen, Le-Anh, Minh, Le, Bach, Bui, Nghi D. Q.
2026-01 Findings of the Association for Computational Linguistics: ACL 2026