A Dynamic Prompt-Based Logic-Aided Compliance Checker. - Wenxi Sheng; Chi Wei; Yinuo Zhang; Bowen Zhang; Jingyun Sun (Big Data Cogn. Comput., 2026)