{"total":25,"rows":[{"id":"2306.06531","title":"AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers","created":"2023-06-10","cited_by_count":113,"area":null},{"id":"2502.11221","title":"PlanGenLLMs: A Modern Survey of LLM Planning Capabilities","created":"2025-02-16","cited_by_count":83,"area":null},{"id":"2405.17216","title":"Autoformalizing Euclidean Geometry","created":"2024-05-27","cited_by_count":27,"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":"2404.02817","title":"A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches","created":"2024-04-03","cited_by_count":20,"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":"2504.21022","title":"ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees","created":"2025-04-22","cited_by_count":11,"area":null},{"id":"2406.05709","title":"TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules","created":"2024-06-09","cited_by_count":9,"area":null},{"id":"2411.16718","title":"Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification","created":"2024-11-22","cited_by_count":9,"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":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"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":"2307.10434","title":"Learning Formal Specifications from Membership and Preference Queries","created":"2023-07-19","cited_by_count":3,"area":null},{"id":"2501.07507","title":"Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback","created":"2025-01-13","cited_by_count":2,"area":null},{"id":"2602.24235","title":"SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems","created":"2026-02-27","cited_by_count":2,"area":null},{"id":"2404.14547","title":"Integrating Disambiguation and User Preferences into Large Language Models for Robot Motion Planning","created":"2024-04-22","cited_by_count":1,"area":null},{"id":"2509.21840","title":"Can Large Language Models Autoformalize Kinematics?","created":"2025-09-26","cited_by_count":1,"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.28229","title":"Stay Within Your Bounds: Distance-Guided Decoding for Guaranteed Context-Free Grammar Compliance","created":"2026-08-28","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":"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},{"id":"2606.18519","title":"As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture","created":"2026-06-16","cited_by_count":0,"area":null},{"id":"2608.27797","title":"CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action","created":"2026-08-28","cited_by_count":0,"area":null},{"id":"2609.33287","title":"Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation","created":"2026-09-27","cited_by_count":0,"area":null}],"next_cursor":null}