The authors create and release a new annotated benchmark for natural language to first-order logic translation using historical NASA planetary mission documentation from 2003-2013.
Gemma: Open models based on Gemini research,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
The authors create and release a new annotated benchmark for natural language to first-order logic translation using historical NASA planetary mission documentation from 2003-2013.