3 papers
cs.AI2025
PEA: Enhancing LLM Performance on Computational-Reasoning Tasks
Zi Wang, Shiwei Weng, Mohannad Alhanahnah +2
Large Language Models (LLMs) have exhibited remarkable capabilities across diverse domains, prompting investigations into their potential as generic reasoning engines. While recent…
cs.SE2023
Rethinking Diversity in Deep Neural Network Testing
Zi Wang, Jihye Choi, Ke Wang +1
Motivated by the success of traditional software testing, numerous diversity measures have been proposed for testing deep neural networks (DNNs). In this study, we propose a shift…
cs.AI2023
Efficient Symbolic Reasoning for Neural-Network Verification
Zi Wang, Somesh Jha, Krishnamurthy +1
The neural network has become an integral part of modern software systems. However, they still suffer from various problems, in particular, vulnerability to adversarial attacks. In…