{"total":27,"rows":[{"id":"2402.10978","title":"Language Models with Conformal Factuality Guarantees","created":"2024-02-15","cited_by_count":131,"area":null},{"id":"2404.02831","title":"Empowering Biomedical Discovery with AI Agents","created":"2024-04-03","cited_by_count":118,"area":null},{"id":"2312.08782","title":"Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis","created":"2023-12-14","cited_by_count":103,"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":"2502.17898","title":"VeriPlan: Integrating Formal Verification and LLMs into End-User Planning","created":"2025-02-25","cited_by_count":20,"area":null},{"id":"2505.19933","title":"Subtle Risks, Critical Failures: A Framework for Diagnosing Physical Safety of LLMs for Embodied Decision Making","created":"2025-05-26","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":"2506.02649","title":"From Prompts to Protection: Large Language Model-Enabled In-Context Learning for Smart Public Safety UAV","created":"2025-06-03","cited_by_count":10,"area":null},{"id":"2503.03911","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","created":"2025-03-05","cited_by_count":9,"area":null},{"id":"2405.17846","title":"Safety Control of Service Robots with LLMs and Embodied Knowledge Graphs","created":"2024-05-28","cited_by_count":7,"area":null},{"id":"2506.09554","title":"Understanding the Performance and Power of LLM Inferencing on Edge Accelerators","created":"2025-06-11","cited_by_count":7,"area":null},{"id":"2602.17345","title":"What Breaks Embodied AI Security:LLM Vulnerabilities, CPS Flaws,or Something Else?","created":"2026-02-19","cited_by_count":6,"area":null},{"id":"2506.12263","title":"A Survey of Foundation Models for IoT: Taxonomy and Criteria-Based Analysis","created":"2025-06-13","cited_by_count":5,"area":null},{"id":"2505.14763","title":"Unifying Inference-Time Planning Language Generation","created":"2025-05-20","cited_by_count":3,"area":null},{"id":"2510.05486","title":"Language Model as Planner and Formalizer under Constraints","created":"2025-10-07","cited_by_count":3,"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":"2409.18047","title":"HARMONIC: Cognitive and Control Collaboration in Human-Robotic Teams","created":"2024-09-26","cited_by_count":2,"area":null},{"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":"2312.08820","title":"How to Raise a Robot -- A Case for Neuro-Symbolic AI in Constrained Task Planning for Humanoid Assistive Robots","created":"2023-12-14","cited_by_count":0,"area":null},{"id":"2510.26905","title":"Cognition Envelopes for Bounded Decision Making in Autonomous UAS Operations","created":"2025-10-30","cited_by_count":0,"area":null},{"id":"2603.17969","title":"Specification-Aware Distribution Shaping for Robotics Foundation Models","created":"2026-03-18","cited_by_count":0,"area":null},{"id":"2603.21523","title":"SafePilot: A Framework for Assuring LLM-enabled Cyber-Physical Systems","created":"2026-03-23","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.09387","title":"NEXUS: Continual Learning of Symbolic Constraints for Safe and Robust Embodied Planning","created":"2026-05-10","cited_by_count":0,"area":null},{"id":"2606.00981","title":"Robust Asynchronous Planning via Auto-Formalization","created":"2026-05-31","cited_by_count":0,"area":null},{"id":"2608.28305","title":"PanelShield: Verifiable Closed-Loop Safe Planning for Robotic Industrial Panel Operation","created":"2026-08-28","cited_by_count":0,"area":null},{"id":"2610.02662","title":"Mind the Refinement Gap: When Safe High-Level Robot Plans Produce Unsafe Executions","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}