Jingxuan He

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Jingxuan He 001 (Zhejiang University, Zhejiang Lab, Hangzhou, China)

Bibliography

2025

PoseGen: In-Context LoRA Finetuning for Pose-Controllable Long Human Video Generation.

[BibT_eX]

[DOI]

Jingxuan He

Busheng Su

Finn Wong

CoRR, August, 2025

CyberGym: Evaluating AI Agents' Cybersecurity Capabilities with Real-World Vulnerabilities at Scale.

[BibT_eX]

[DOI]

CoRR, June, 2025

Mind the Gap: A Practical Attack on GGUF Quantization.

[BibT_eX]

[DOI]

CoRR, May, 2025

VERINA: Benchmarking Verifiable Code Generation.

[BibT_eX]

[DOI]

CoRR, May, 2025

Progent: Programmable Privilege Control for LLM Agents.

[BibT_eX]

[DOI]

CoRR, April, 2025

Reasoning Models Can Be Effective Without Thinking.

[BibT_eX]

[DOI]

CoRR, April, 2025

BaxBench: Can LLMs Generate Correct and Secure Backends?

[BibT_eX]

[DOI]

CoRR, February, 2025

Type-Constrained Code Generation with Language Models.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Conference on Data Engineering, 2025

2024

Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., July, 2024

Machine Learning for Code: Security and Reliability.

[BibT_eX]

[DOI]

Jingxuan He

PhD thesis, 2024

Formal Mathematical Reasoning: A New Frontier in AI.

[BibT_eX]

[DOI]

CoRR, 2024

Practical Attacks against Black-box Code Completion Engines.

[BibT_eX]

[DOI]

CoRR, 2024

Code Agents are State of the Art Software Testers.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Exploiting LLM Quantization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Auxiliary Diagnosis of Coronary Heart Disease Based on Tongue Features.

[BibT_eX]

[DOI]

Proceedings of the 2024 5th International Symposium on Artificial Intelligence for Medicine Science, 2024

Instruction Tuning for Secure Code Generation.

[BibT_eX]

[DOI]

Jingxuan He

Mark Vero

Gabriela Krasnopolska

Martin T. Vechev

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Fast and Stable Detection Scheme of Point of Common Coupling Voltage for Renewable Energy Systems Tied to Distortion Grids.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, July, 2023

Controlling Large Language Models to Generate Secure and Vulnerable Code.

[BibT_eX]

[DOI]

Jingxuan He

Martin T. Vechev

CoRR, 2023

Large Language Models for Code: Security Hardening and Adversarial Testing.

[BibT_eX]

[DOI]

Jingxuan He

Martin T. Vechev

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

NESTML 5.1.0.

[BibT_eX]

[DOI]

Dataset, September, 2022

Efficient high-utility occupancy itemset mining algorithm on massive data.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2022

Efficient Skyline Computation on Massive Incomplete Data.

[BibT_eX]

[DOI]

Jingxuan He

Xixian Han

Data Sci. Eng., 2022

On Distribution Shift in Learning-based Bug Detectors.

[BibT_eX]

[DOI]

Jingxuan He

Luca Beurer-Kellner

Martin T. Vechev

Proceedings of the International Conference on Machine Learning, 2022

2021

Learning to find naming issues with big code and small supervision.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

Learning to Explore Paths for Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Learning fast and precise numerical analysis.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Research on Ultrasonic Positioning Algorithm.

[BibT_eX]

[DOI]

Jingxuan He

Jian Zhang

Zeji Hui

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

A Novel Binary Particle Swarm Optimization for Multiple Sequence Alignment.

[BibT_eX]

[DOI]

Yanlian Du

Jingxuan He

Changcun Du

Proceedings of the Intelligent Computing Theories and Application, 2019

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Debin: Predicting Debug Information in Stripped Binaries.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Jingxuan He

Known people with the same name:

Bibliography

Loading...