@misc{indiciae6aee99481352,
  title = {Beyond Type-checking: Towards Holistic Evaluation of Formal Specification Generation},
  author = {Srijith Nair and Aditya Vempaty and Jia Liu and Ashish Jagmohan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.10604},
  note = {Source identifier: 2610.10604}
}