Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification - Xu, Xu; Li, Xin; Qu, Xingwei; Fu, Jie; Yuan, Binhang (International Conference on Learning Representations, 2026)