{"total":53,"rows":[{"id":"2401.06853","title":"Large Language Models Can Learn Temporal Reasoning","created":"2024-01-12","cited_by_count":111,"area":"lr"},{"id":"2406.09170","title":"Test of Time: A Benchmark for Evaluating LLMs on Temporal Reasoning","created":"2024-06-13","cited_by_count":88,"area":"lr"},{"id":"2503.07885","title":"Safety Guardrails for LLM-Enabled Robots","created":"2025-03-10","cited_by_count":35,"area":"safety"},{"id":"2311.08398","title":"Are Large Language Models Temporally Grounded?","created":"2023-11-14","cited_by_count":27,"area":null},{"id":"2403.17359","title":"Chain-of-Action: Faithful and Multimodal Question Answering through Large Language Models","created":"2024-03-26","cited_by_count":27,"area":"rag"},{"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":"2503.18492","title":"VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification","created":"2025-03-24","cited_by_count":22,"area":"agents"},{"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.04631","title":"DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL","created":"2024-10-06","cited_by_count":21,"area":"deeprl"},{"id":"2502.17898","title":"VeriPlan: Integrating Formal Verification and LLMs into End-User Planning","created":"2025-02-25","cited_by_count":20,"area":null},{"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":"2503.09790","title":"Constrained Discrete Diffusion","created":"2025-03-12","cited_by_count":17,"area":"diffusion"},{"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":"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":"2410.15489","title":"Generative AI Agents in Autonomous Machines: A Safety Perspective","created":"2024-10-20","cited_by_count":7,"area":null},{"id":"2409.10849","title":"Pragmatic Embodied Spoken Instruction Following in Human-Robot Collaboration with Theory of Mind","created":"2024-09-17","cited_by_count":6,"area":null},{"id":"2410.13691","title":"Jailbreaking LLM-Controlled Robots","created":"2024-10-17","cited_by_count":6,"area":"safety"},{"id":"2410.14865","title":"Joint Verification and Refinement of Language Models for Safety-Constrained Planning","created":"2024-10-18","cited_by_count":6,"area":null},{"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":"2404.15194","title":"Closed Loop Interactive Embodied Reasoning for Robot Manipulation","created":"2024-04-23","cited_by_count":4,"area":null},{"id":"2407.05434","title":"LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models","created":"2024-07-07","cited_by_count":4,"area":"lr"},{"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":"2410.16207","title":"CoT-TL: Low-Resource Temporal Knowledge Representation of Planning Instructions Using Chain-of-Thought Reasoning","created":"2024-10-21","cited_by_count":3,"area":"lr"},{"id":"2501.01367","title":"Contrastive Learning from Exploratory Actions: Leveraging Natural Interactions for Preference Elicitation","created":"2025-01-02","cited_by_count":3,"area":null},{"id":"2502.07306","title":"TRAVEL: Training-Free Retrieval and Alignment for Vision-and-Language Navigation","created":"2025-02-11","cited_by_count":3,"area":"mllm"},{"id":"2606.05395","title":"VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents","created":"2026-06-03","cited_by_count":3,"area":"agents"},{"id":"2409.11041","title":"Towards No-Code Programming of Cobots: Experiments with Code Synthesis by Large Code Models for Conversational Programming","created":"2024-09-17","cited_by_count":2,"area":null},{"id":"2411.03287","title":"The Future of Intelligent Healthcare: A Systematic Analysis and Discussion on the Integration and Impact of Robots Using Large Language Models for Healthcare","created":"2024-11-05","cited_by_count":2,"area":null},{"id":"2511.12706","title":"Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs","created":"2025-11-16","cited_by_count":2,"area":"deeprl"},{"id":"2511.17977","title":"Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation","created":"2025-11-22","cited_by_count":2,"area":null},{"id":"2403.16689","title":"SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine","created":"2024-03-25","cited_by_count":1,"area":"alignment"},{"id":"2410.18893","title":"Creating and Repairing Robot Programs in Open-World Domains","created":"2024-10-24","cited_by_count":1,"area":null},{"id":"2506.08296","title":"HiBerNAC: Hierarchical Brain-inspired Robotic Neural Agent Collective for Disentangling Complex Manipulation","created":"2025-06-09","cited_by_count":1,"area":"vla"},{"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.01851","title":"Weights or Skills? A Survey of Robot-Learning Techniques: from Action-Predicting Weights to Robots that Write their Own Skills","created":"2026-08-03","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":"2601.14951","title":"TempViz: On the Evaluation of Temporal Knowledge in Text-to-Image Models","created":"2026-01-21","cited_by_count":0,"area":null},{"id":"2605.02765","title":"U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning","created":"2026-05-04","cited_by_count":0,"area":null},{"id":"2605.12655","title":"Robust Instruction Compliance in Cooperative Multi-Agent Reinforcement Learning","created":"2026-05-12","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":"2605.27784","title":"WIRE: Profiling Witnessed Within-Policy Instruction Collisions in LLM Agents","created":"2026-05-27","cited_by_count":0,"area":"agents"},{"id":"2609.18128","title":"Symbolic Temporal Supervision of LLM Agents Using Contracts","created":"2026-09-16","cited_by_count":0,"area":"agents"},{"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":"2609.37519","title":"Video2STL: Grounding VLM-Generated Temporal Specifications for Robot Learning","created":"2026-09-29","cited_by_count":0,"area":null},{"id":"2609.38028","title":"doPlan: A Variable-Horizon Dataset for Multi-Stage Language-Conditioned Planning in Autonomous Driving","created":"2026-09-29","cited_by_count":0,"area":"driving"},{"id":"2609.38065","title":"Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL","created":"2026-09-29","cited_by_count":0,"area":"deeprl"},{"id":"2610.17039","title":"MENTOR: Procedural Shielding of Tool-Using LLM Agents","created":"2026-10-12","cited_by_count":0,"area":"agents"}],"next_cursor":null}