About

My interests lie in the intersection of Software Engineering, Software Security, Formal Methods, and Machine Learning. My research focuses on advancing Neuro-Symbolic AI to improve the scalability and efficiency of automated reasoning systems, while enabling AI models to develop reasoning and verification capabilities. Beyond foundational research, I design specialized Neuro-Symbolic methods to enhance software reliability, including modern AI systems, and explore verifiable code generation to make software development more trustworthy and error-resistant.

I currently lead the Hiprel Group, where I fortunately work with a number of talented and motivated students.

I did my PhD at The University of Texas at Austin, supervised by Sarfraz Khurshid. During my PhD, I have also been closely working with Kenneth McMillan and Darko Marinov.

News

Publications

1. Chaitanya Shahane, Derek Hansen, Wenxi Wang, Pengyu Nie
   Differential Inline Testing: Framework, Test Generation, and Application
   The 36th IEEE International Conference on Collaborative Advances in Software and Computing (CASCON 2026) (to appear)
   
2. Zichen Xie, Wenxi Wang
   Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
   The forty-third International Conference on Machine Learning (ICML 2026)
   PDF
3. Arjun Tandon, Mehmet Fırat Dündar, Milkiyas Gebremichael Gebru, Darko Marinov, Yiling Lou, Wenxi Wang
   Re-evaluating Detection of Equivalent Mutants Using LLMs: We Should Properly Measure How Far We Are
   The 35th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026)
   PDF
4. Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang
   RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications
   The 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)
   PDF Slides Poster
5. Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen
   NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
   The 12th International Conference on Learning Representations (ICLR 2024)
   PDF
6. Yang Hu*, Wenxi Wang*, Sarfraz Khurshid, Mohit Tiwari
   Interactive Greybox Penetration Testing for Cloud Access Control using IAM Modeling and Deep Reinforcement Learning
   arXiv preprint
   * denotes that these authors contribute equally to the paper
   PDF
7. Yang Hu*, Wenxi Wang*, Sarfraz Khurshid, Kenneth McMillan, Mohit Tiwari
   Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks
   The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
   * denotes that these authors contribute equally to the paper.
   PDF
8. Armin Biere, Nils Froleyks, Wenxi Wang
   CadiBack: Extracting Backbones with CaDiCaL
   The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023, Tool Paper)
   PDF
9. Wenxi Wang, Yang Hu, Kenneth McMillan, Sarfraz Khurshid
   SymMC: Approximate Model Enumeration and Counting Using Symmetry Information for Alloy Specifications
   The 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
   PDF
10. Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi
    Repairing Order-Dependent Flaky Tests via Test Generation
    The 44th International Conference on Software Engineering (ICSE 2022)
    PDF
11. Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
    Initial Results on Counting Test Orders for Order-Dependent Flaky Tests using Alloy
    The 33rd IFIP International Conference on Testing Software and Systems (ICTSS 2021) (short paper)
    PDF
12. Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
    ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities
    The 20th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021)
    PDF
13. Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel and Sarfraz Khurshid
    A Study of Symmetry Breaking Predicates and Model Counting
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
    PDF
14. Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
    AlloyMC: Alloy Meets Model Counting
    The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering(ESEC/FSE 2020, Tool Demo)
    PDF
15. Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
    TestMC: Testing Model Counters Using Differential and Metamorphic Testing
    The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
    PDF
16. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
    A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
    The 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)
    PDF
17. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini and Sarfraz Khurshid
    A Study of Learning Likely Data Structure Properties using Machine Learning Models
    International Journal on Software Tools for Technology Transfer (STTT 2020)
    PDF
18. Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
    Incremental Analysis of Evolving Alloy Models
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019)
    PDF
19. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini and Sarfraz Khurshid
    A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
    International SPIN Symposium on Model Checking of Software (SPIN 2019)
    PDF
20. Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
    Learning to Optimize the Alloy Analyzer
    IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
    PDF
21. Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
    Wombit: A Portfolio Bit-Vector Solver using Word-Level Propagation
    Journal of Automated Reasoning (JAR 2018)
    PDF
22. Wenxi Wang, Harald Sondergaard, Peter J. Stuckey
    A Bit-Vector Solver with Word-Level Propagation
    Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2016)
    PDF
​

Services

Teaching