{"total":20,"rows":[{"id":"2102.06858","title":"LTL2Action: Generalizing LTL Instructions for Multi-Task RL","created":"2021-02-13","cited_by_count":74,"area":null},{"id":"2303.04864","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","created":"2023-03-08","cited_by_count":60,"area":null},{"id":"2305.07766","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","created":"2023-05-12","cited_by_count":59,"area":null},{"id":"2302.11649","title":"Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments","created":"2023-02-22","cited_by_count":53,"area":null},{"id":"2303.08006","title":"Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification","created":"2023-03-09","cited_by_count":38,"area":null},{"id":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33,"area":null},{"id":"2405.13245","title":"A Survey of Robotic Language Grounding: Tradeoffs between Symbols and Embeddings","created":"2024-05-21","cited_by_count":24,"area":null},{"id":"2402.11498","title":"Verifiably Following Complex Robot Instructions with Foundation Models","created":"2024-02-18","cited_by_count":16,"area":null},{"id":"2211.04591","title":"Learning to Follow Instructions in Text-Based Games","created":"2022-11-08","cited_by_count":12,"area":null},{"id":"2211.06652","title":"Learning Neuro-symbolic Programs for Language Guided Robot Manipulation","created":"2022-11-12","cited_by_count":10,"area":null},{"id":"2512.16814","title":"Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs","created":"2025-12-18","cited_by_count":8,"area":null},{"id":"2403.02274","title":"NatSGD: A Dataset with Speech, Gestures, and Demonstrations for Robot Learning in Natural Human-Robot Interaction","created":"2024-03-04","cited_by_count":4,"area":null},{"id":"2507.00877","title":"Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite","created":"2025-07-01","cited_by_count":4,"area":null},{"id":"2605.16198","title":"Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems","created":"2026-05-15","cited_by_count":3,"area":null},{"id":"2603.28426","title":"Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic","created":"2026-03-30","cited_by_count":1,"area":null},{"id":"2608.05439","title":"SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications","created":"2026-08-05","cited_by_count":1,"area":null},{"id":"2408.08188","title":"Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation","created":"2024-08-15","cited_by_count":0,"area":null},{"id":"2502.16718","title":"NatSGLD: A Dataset with Speech, Gesture, Logic, and Demonstration for Robot Learning in Natural Human-Robot Interaction","created":"2025-02-23","cited_by_count":0,"area":null},{"id":"2512.16770","title":"GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation","created":"2025-12-18","cited_by_count":0,"area":null},{"id":"2605.22874","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","created":"2026-05-20","cited_by_count":0,"area":null}],"next_cursor":null}