50 citations · 59 across the 10 of their papers we have counts for
10 papers
VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
Zichen Xie, Mrigank Pawagi, Yuxin Liu +5
Large language models can generate useful code from natural language, but their outputs come without correctness guarantees. Verifiable code generation offers a path beyond testing…
Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
Zichen Xie, Wenxi Wang
As Large Language Models (LLMs) increasingly assist secure software development, their ability to meet the rigorous demands of Rust program verification remains unclear. Existing e…
Property-Driven Evaluation of GNN Expressiveness at Scale: Datasets, Framework, and Study
Sicong Che, Jiayi Yang, Sarfraz Khurshid +1
Advancing trustworthy AI requires principled software engineering approaches to model evaluation. Graph Neural Networks (GNNs) have achieved remarkable success in processing graph-…
TAC: Hybrid IAM Privilege Escalation Detection
Yang Hu, Wenxi Wang, Sarfraz Khurshid +1
IAM misconfigurations are a major cause of privilege escalation (PE) attacks in the cloud, leading to data breaches and major financial losses. Existing PE detectors have two main…
A Review on Serious Games for Disaster Relief
Huansheng Ning, Zhangfeng Pi, Wenxi Wang +2
Human beings have been affected by disasters from the beginning of life, bringing them many sad memories. In the long struggle against disaster, people have devised a variety of me…
A Review on Serious Games in E-learning
Huansheng Ning, Hang Wang, Wenxi Wang +3
E-learning is a widely used learning method, but with the development of society, traditional E-learning method has exposed some shortcomings, such as the boring way of teaching, s…
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Wenxi Wang, Yang Hu, Mohit Tiwari +3
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are base…
The Internet of People: A Survey and Tutorial
Feifei Shi, Wenxi Wang, Hang Wang +1
Along with the rapid development of Internet and cyber techniques, the Internet of People (IoP) has been emerging as a novel paradigm which establishes ubiquitous connections betwe…
A Survey of Hybrid Human-Artificial Intelligence for Social Computing
Wenxi Wang, Huansheng Ning, Feifei Shi +3
Along with the development of modern computing technology and social sciences, both theoretical research and practical applications of social computing have been continuously exten…
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang +3
This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A…