TY  - RPRT
TI  - A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
AU  - Hayden Moore
AU  - Suman Saha
AU  - Mahfuza Farooque
PY  - 2026
UR  - https://arxiv.org/abs/2605.17911
ID  - 2605.17911
ER  -