@misc{indiciaeec656c75d76b,
  title = {Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications},
  author = {Md Rakib Hossain Misu and Iris Ma and Cristina V. Lopes},
  year = {2026},
  url = {https://arxiv.org/abs/2604.00280},
  note = {Source identifier: 2604.00280}
}