Picture for Jingxuan He

Jingxuan He

Progent: Programmable Privilege Control for LLM Agents

Add code
Apr 16, 2025
Viaarxiv icon

Reasoning Models Can Be Effective Without Thinking

Add code
Apr 14, 2025
Viaarxiv icon

Type-Constrained Code Generation with Language Models

Add code
Apr 12, 2025
Viaarxiv icon

BaxBench: Can LLMs Generate Correct and Secure Backends?

Add code
Feb 20, 2025
Viaarxiv icon

Formal Mathematical Reasoning: A New Frontier in AI

Add code
Dec 20, 2024
Viaarxiv icon

Shaping a Stabilized Video by Mitigating Unintended Changes for Concept-Augmented Video Editing

Add code
Oct 16, 2024
Viaarxiv icon

Practical Attacks against Black-box Code Completion Engines

Add code
Aug 05, 2024
Viaarxiv icon

Code Agents are State of the Art Software Testers

Add code
Jun 18, 2024
Viaarxiv icon

Exploiting LLM Quantization

Add code
May 28, 2024
Viaarxiv icon

LoopGaussian: Creating 3D Cinemagraph with Multi-view Images via Eulerian Motion Field

Add code
Apr 13, 2024
Viaarxiv icon