TY  - RPRT
TI  - KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
AU  - Wenhan Wang
AU  - Zeyu Sun
PY  - 2026
UR  - https://arxiv.org/abs/2606.21339
ID  - 2606.21339
ER  -