TY  - RPRT
TI  - Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
AU  - William H English
AU  - Chase Walker
AU  - Dominic Simon
AU  - Sumit Kumar Jha
AU  - Rickard Ewetz
PY  - 2025
UR  - https://arxiv.org/abs/2507.00877
ID  - 2507.00877
ER  -