About me
Since July 2024, I am pursuing a Ph.D. at the Secure, Reliable, and Intelligent Systems Lab at ETH Zürich, advised by Prof. Martin Vechev. My research focuses on enhancing the reliability and security of Large Language Models, with an emphasis on ensuring the faithfulness and correctness of generated text and code. Previously, I worked on the formal verification of data structures and algorithms and co-founded a start-up specializing in Smart Contracts.
Education
- ETH Zurich, October 2021 - December 2023 M.Sc. Computer Science
- National University of Singapore, August 2019 - January 2020 Exchange Student at School of Computing
- TU Munich, October 2017 - March 2021 B.Sc. Computer Science
Publications
2024
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents
Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin Vechev
NeurIPS
2024
Practical Attacks against Black-box Code Completion Engines
Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin Vechev
arXiv
2024
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation
Niels Mündler, Jingxuan He, Slobodan Jenko, Martin Vechev
ICLR
2024
Work experience
- ETH Zurich, January 2024 - June 2024 Research Associate at SRI Lab
- OpenSwap Technologies AG, 2021 - 2023 Co-Founder and CTO
Awards
- ICTAC 2021, Best Paper Award for "A Verified Imperative Implementation of B+-Trees in Isabelle"
- BWINF 2016, Second place at German national informatics contest