A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
DGX agentarXiv:2605.17911v1 Announce Type: new Abstract: Future planetary exploration envisions autonomous robotic agents operating under severe communication constraints, without global positioning, and with