TY  - RPRT
TI  - Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications
AU  - Md Rakib Hossain Misu
AU  - Iris Ma
AU  - Cristina V. Lopes
PY  - 2026
UR  - https://arxiv.org/abs/2604.00280
ID  - 2604.00280
ER  -