Benchmark dataset for converting mission language to logical rules

Original: A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration

Source: arxiv.org ↗