Jingxuan He
- Papers
- 7
Cite
Notes
Only stored in your browser.
7papers
Authored papers
7VERINA: Benchmarking Verifiable Code Generation
arXiv 2025
Progent: Programmable Privilege Control for LLM Agents
arXiv 2025
Mind the Gap: A Practical Attack on GGUF Quantization
arXiv 2025
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
arXiv 2024
Large Language Models for Code: Security Hardening and Adversarial Testing
arXiv 2023
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
arXiv 2023
On Distribution Shift in Learning-based Bug Detectors
arXiv 2022
Affiliations
No known affiliations.
Frequent co-authors
10from 7 papers