8 citations · 13 across the 6 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.LG2025★ 8 cited
Type-Constrained Code Generation with Language Models
Niels Mündler, Jingxuan He, Hao Wang +3
Large language models (LLMs) have achieved notable success in code generation. However, they still frequently produce uncompilable output because their next-token inference procedu…
cs.LG2025★ 2 cited
VERINA: Benchmarking Verifiable Code Generation
Zhe Ye, Zhengxu Yan, Jingxuan He +3
Large language models (LLMs) are increasingly integrated in software development, but ensuring correctness in LLM-generated code remains challenging and often requires costly manua…
cs.CR2025
Progent: Securing AI Agents with Privilege Control
Tianneng Shi, Jingxuan He, Zhun Wang +4
AI agents interact with external environments through tool calls, exposing them to attacks like indirect prompt injection that can trigger unauthorized actions. Securing these agen…