@misc{indiciae270524e3bd9d,
  title = {ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees},
  author = {David Smith Sundarsingh and Jun Wang and Jyotirmoy V. Deshmukh and Yiannis Kantaros},
  year = {2026},
  url = {https://arxiv.org/abs/2504.21022},
  note = {Source identifier: 2504.21022}
}