Showing cs.AIShow all
2 papers · 1 filter
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.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…