{"total":59,"rows":[{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427,"area":"rag"},{"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":"2309.09919","title":"Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents","created":"2023-09-18","cited_by_count":69,"area":"lr"},{"id":"2503.07885","title":"Safety Guardrails for LLM-Enabled Robots","created":"2025-03-10","cited_by_count":35,"area":"safety"},{"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":"2309.10092","title":"Conformal Temporal Logic Planning using Large Language Models","created":"2023-09-18","cited_by_count":21,"area":null},{"id":"2409.19471","title":"SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models","created":"2024-09-28","cited_by_count":21,"area":"agents"},{"id":"2410.03035","title":"SPINE: Online Semantic Planning for Missions with Incomplete Natural Language Specifications in Unstructured Environments","created":"2024-10-03","cited_by_count":18,"area":null},{"id":"2502.12435","title":"A Survey on Large Language Models for Automated Planning","created":"2025-02-18","cited_by_count":17,"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":"2505.09108","title":"Air-Ground Collaboration for Language-Specified Missions in Unknown Environments","created":"2025-05-14","cited_by_count":11,"area":null},{"id":"2504.17180","title":"We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback","created":"2025-04-24","cited_by_count":10,"area":null},{"id":"2506.17486","title":"Distilling On-device Language Models for Robot Planning with Minimal Human Intervention","created":"2025-06-20","cited_by_count":10,"area":"lr"},{"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":"2306.06808","title":"Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications","created":"2023-06-11","cited_by_count":7,"area":null},{"id":"2410.13691","title":"Jailbreaking LLM-Controlled Robots","created":"2024-10-17","cited_by_count":6,"area":"safety"},{"id":"2505.15740","title":"HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement","created":"2025-05-21","cited_by_count":6,"area":null},{"id":"2408.16081","title":"Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents","created":"2024-08-28","cited_by_count":5,"area":"lr"},{"id":"2412.08805","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","created":"2024-12-11","cited_by_count":5,"area":"agents"},{"id":"2503.10546","title":"KUDA: Keypoints to Unify Dynamics Learning and Visual Prompting for Open-Vocabulary Robotic Manipulation","created":"2025-03-13","cited_by_count":5,"area":"mllm"},{"id":"2507.03293","title":"LogicGuard: Improving Embodied LLM agents through Temporal Logic based Critics","created":"2025-07-04","cited_by_count":5,"area":"agents"},{"id":"2507.10741","title":"Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data","created":"2025-07-14","cited_by_count":5,"area":"agents"},{"id":"2408.05336","title":"Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning","created":"2024-08-09","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":"2602.19983","title":"Contextual Safety Reasoning and Grounding for Open-World Robots","created":"2026-02-23","cited_by_count":4,"area":"lr"},{"id":"2404.06413","title":"Foundation Models to the Rescue: Deadlock Resolution in Connected Multi-Robot Systems","created":"2024-04-09","cited_by_count":3,"area":null},{"id":"2602.19304","title":"Safe and Interpretable Multimodal Path Planning for Multi-Agent Cooperation","created":"2026-02-22","cited_by_count":3,"area":"agents"},{"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":"2404.18896","title":"Overcoming Knowledge Barriers: Online Imitation Learning from Visual Observation with Pretrained World Models","created":"2024-04-29","cited_by_count":2,"area":"wm"},{"id":"2602.04892","title":"Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction","created":"2026-01-30","cited_by_count":2,"area":null},{"id":"2309.16960","title":"On Generating Explanations for Reinforcement Learning Policies: An Empirical Study","created":"2023-09-29","cited_by_count":1,"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":"2507.20491","title":"Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems","created":"2025-07-28","cited_by_count":1,"area":"lr"},{"id":"2509.21840","title":"Can Large Language Models Autoformalize Kinematics?","created":"2025-09-26","cited_by_count":1,"area":null},{"id":"2510.13727","title":"From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails","created":"2025-10-15","cited_by_count":1,"area":"safety"},{"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":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2605.06483","title":"ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning","created":"2026-05-07","cited_by_count":1,"area":"lr"},{"id":"2606.04123","title":"Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models","created":"2026-06-02","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":"2311.10278","title":"Physics-Enhanced Multi-fidelity Learning for Optical Surface Imprint","created":"2023-11-17","cited_by_count":0,"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":"2411.03328","title":"Foundation Models for Rapid Autonomy Validation","created":"2024-10-22","cited_by_count":0,"area":null},{"id":"2503.13660","title":"INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations","created":"2025-03-17","cited_by_count":0,"area":null},{"id":"2509.08808","title":"Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge","created":"2025-09-10","cited_by_count":0,"area":"rag"},{"id":"2509.23506","title":"Ask, Reason, Assist: Robot Collaboration via Natural Language and Temporal Logic","created":"2025-09-27","cited_by_count":0,"area":"lr"},{"id":"2510.15728","title":"RLAF: Reinforcement Learning from Automaton Feedback","created":"2025-10-17","cited_by_count":0,"area":"alignment"},{"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.15131","title":"Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models","created":"2026-05-14","cited_by_count":0,"area":"lr"},{"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.19588","title":"Analyzing the Narration Gap in LLM-Solver Loops","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2606.30696","title":"ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models","created":"2026-06-29","cited_by_count":0,"area":"mllm"},{"id":"2609.07111","title":"From LLM-Generated Specifications to Learned Quadruped Locomotion","created":"2026-09-07","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},{"id":"2609.34270","title":"Bayesian Active Learning for Intent Disambiguation in Interactive Robot Planning","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.01093","title":"OrbitTAMP: Grounding Language Models for Task and Motion Planning in Spacecraft Rendezvous","created":"2026-10-01","cited_by_count":0,"area":null},{"id":"2610.17039","title":"MENTOR: Procedural Shielding of Tool-Using LLM Agents","created":"2026-10-12","cited_by_count":0,"area":"agents"},{"id":"2610.19818","title":"One Monitor Does Not Fit All: Formalism-Agnostic Runtime Verification for Agentic AI","created":"2026-10-14","cited_by_count":0,"area":"agents"}],"next_cursor":null}