He, Jingxuan

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation

Mündler, N., He, J., Jenko, S., & Vechev, M. (2023) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 47

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents

Mündler, N., Müller, M., He, J., & Vechev, M. (2024) · Advances in Neural Information Processing Systems 37

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 25

Progent: Securing AI Agents with Privilege Control

Shi, T., He, J., Wang, Z., Li, H., Wu, L., Guo, W., & Song, D. (2025) · arXiv

Security and Verification in ComputingAdversarial Robustness in Machine Learning

Cited by 3

ExploitGym: Can AI Agents Turn Security Vulnerabilities into Real Attacks?

Wang, Z., Schiller, N., Li, H., Narayana, S. S., Nasr, M., Carlini, N., Qi, X., Wallace, E., Bursztein, E., Invernizzi, L., et al. (2026) · arXiv

Security and Verification in ComputingAdversarial Robustness in Machine Learning

Cited by 3

VERINA: Benchmarking Verifiable Code Generation

Ye, Z., Yan, Z., He, J., Kasriel, T., Yang, K., & Song, D. (2025) · arXiv

Software Engineering ResearchLogic, programming, and type systems

Cited by 3

Reasoning Models Can Be Effective Without Thinking

Ma, W., He, J., Snell, C., Griggs, T., Min, S., & Zaharia, M. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0