@misc{indiciae1c6fa4d9ceaa,
  title = {Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification},
  author = {Xu Xu and Xin Li and Xingwei Qu and Jie Fu and Binhang Yuan},
  year = {2025},
  url = {https://arxiv.org/abs/2509.23061},
  note = {Source identifier: 2509.23061}
}