@misc{indiciaec9b36bbe0c02,
  title = {SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications},
  author = {Yixuan Wang and Licheng Luo and Yu Fu and Kaidi Xu and Yue Dong and Mingyu Cai},
  year = {2026},
  url = {https://arxiv.org/abs/2608.05439},
  note = {Source identifier: 2608.05439}
}