TY  - RPRT
TI  - Are LLM-Generated Formal Specifications Faithful to Their Requirements? A Study on Bimodal Formal Specification Generation
AU  - Wenhan Wang
AU  - Shiming Chen
AU  - Zeyu Sun
AU  - Shenghua Feng
PY  - 2026
UR  - https://arxiv.org/abs/2610.32053
ID  - 2610.32053
ER  -