PACE: Policy Adaptation for Cybersecurity Events Through Formal Verification of LLM-Generated Firewall Policies. - Mahya Samdaliri; Zhihao Yao 001 (IEEE Big Data, 2025)