2 papers
cs.SE2026
Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
Zhiyi Xue, Xiaohong Chen, Min Zhang
Compliance testing in highly regulated domains is crucial but largely manual, requiring domain experts to translate complex regulations into executable test cases. While large lang…
cs.SE2022
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation
Yiting Wu, Zhaodi Zhang, Zhiyi Xue +2
The robustness of neural networks is fundamental to the hosting system's reliability and security. Formal verification has been proven to be effective in providing provable robustn…