TY  - RPRT
TI  - Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
AU  - Xu Xu
AU  - Xin Li
AU  - Xingwei Qu
AU  - Jie Fu
AU  - Binhang Yuan
PY  - 2025
UR  - https://arxiv.org/abs/2509.23061
ID  - 2509.23061
ER  -