TY  - RPRT
TI  - ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
AU  - David Smith Sundarsingh
AU  - Jun Wang
AU  - Jyotirmoy V. Deshmukh
AU  - Yiannis Kantaros
PY  - 2026
UR  - https://arxiv.org/abs/2504.21022
ID  - 2504.21022
ER  -