Jingxuan He

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Jingxuan He, Mislav Balunović, Nodar Ambroladze et al. · 2019 · 263 citations

Computing, Computer Science, Cybersecurity +14

Large Language Models for Code: Security Hardening and Adversarial Testing

Jingxuan He, Martin Vechev · 2023 · 112 citations · Full text

Computing, Computer Science, Cybersecurity +8

Debin

Jingxuan He, Pesho Ivanov, Petar Tsankov et al. · 2018 · 96 citations

Computing, Computer Engineering, Computer Science +8

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

Niels Mündler, Jingxuan He, Slobodan Jenko et al. · arXiv (Cornell University) · 2023 · 46 citations · Full text

Computing, Computer Science, Computational Linguistics +16

Learning to Explore Paths for Symbolic Execution

Jingxuan He, Gishor Sivanrupan, Petar Tsankov et al. · 2021 · 40 citations

Computing, Computer Science, Algorithms +9