TY  - RPRT
TI  - Natural Language based Specification and Verification
AU  - Zhaorui Li
AU  - Chengyu Song
PY  - 2026
UR  - https://arxiv.org/abs/2605.11315
ID  - 2605.11315
ER  -