Xu Xu, Xin Li, Xingwei Qu, Jie Fu, Binhang Yuan: Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification. CoRR abs/2509.23061 (2025)