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

En 3 lignesBenchmark pilote pour traduire le langage naturel en logique du premier ordre (FOL) dans l'exploration planétaire. Dataset construit à partir de documentation NASA (missions 2003-2013), annoté manuellement avec représentations FOL capturant structure temporelle, rôles d'agents et dépendances opérationnelles. Vocabulaires de prédicats structurés fournis.

Résumé généré par Claude — vérifié par l'humain