2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2025
Renaissance of Literate Programming in the Era of LLMs: Enhancing LLM-Based Code Generation in Large-Scale Projects
Wuyang Zhang, Yansong Li, Zeyu Dong +6
Large Language Models (LLMs) have helped programmers increase efficiency through code generation, comprehension, and repair. However, their application to large-scale projects rema…
cs.CL2022
Benchmarking Language Models for Code Syntax Understanding
Da Shen, Xinyun Chen, Chenguang Wang +2
Pre-trained language models have demonstrated impressive performance in both natural language processing and program understanding, which represent the input as a token sequence wi…
cs.LO2019★ 2 cited
SMT-based Constraint Answer Set Solver EZSMT+
Da Shen, Yuliya Lierler
Constraint answer set programming integrates answer set programming with constraint processing. System EZSMT+ is a constraint answer set programming tool that utilizes satisfiabili…