{"total":69,"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":"2503.09648","title":"A Survey on Trustworthy LLM Agents: Threats and Countermeasures","created":"2025-03-12","cited_by_count":96,"area":"agents"},{"id":"2505.19443","title":"Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI","created":"2025-05-26","cited_by_count":42,"area":"agents"},{"id":"2506.16402","title":"IS-Bench: Evaluating Interactive Safety of VLM-Driven Embodied Agents in Daily Household Tasks","created":"2025-06-19","cited_by_count":41,"area":"agents"},{"id":"2407.06813","title":"Richelieu: Self-Evolving LLM-Based Agents for AI Diplomacy","created":"2024-07-09","cited_by_count":36,"area":"agents"},{"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":"2503.15707","title":"Safety Aware Task Planning via Large Language Models in Robotics","created":"2025-03-19","cited_by_count":24,"area":"lr"},{"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":"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":"2503.09790","title":"Constrained Discrete Diffusion","created":"2025-03-12","cited_by_count":17,"area":"diffusion"},{"id":"2509.25885","title":"SafeMind: Benchmarking and Mitigating Safety Risks in Embodied LLM Agents","created":"2025-09-30","cited_by_count":17,"area":"agents"},{"id":"2402.11498","title":"Verifiably Following Complex Robot Instructions with Foundation Models","created":"2024-02-18","cited_by_count":16,"area":null},{"id":"2409.15398","title":"Attack Atlas: A Practitioner's Perspective on Challenges and Pitfalls in Red Teaming GenAI","created":"2024-09-23","cited_by_count":16,"area":"safety"},{"id":"2311.13148","title":"Towards Responsible Generative AI: A Reference Architecture for Designing Foundation Model based Agents","created":"2023-11-22","cited_by_count":14,"area":"lr"},{"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":"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":"2402.02053","title":"Affordable Generative Agents","created":"2024-02-03","cited_by_count":9,"area":"agents"},{"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":"2408.08959","title":"Trust-Oriented Adaptive Guardrails for Large Language Models","created":"2024-08-16","cited_by_count":8,"area":"safety"},{"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":"2607.02599","title":"AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents","created":"2026-07-01","cited_by_count":7,"area":"agents"},{"id":"2505.17735","title":"SafeAgent: Safeguarding LLM Agents via an Automated Risk Simulator","created":"2025-05-23","cited_by_count":6,"area":"agents"},{"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":"2402.16905","title":"Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents","created":"2024-02-24","cited_by_count":5,"area":"agents"},{"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":"2507.03293","title":"LogicGuard: Improving Embodied LLM agents through Temporal Logic based Critics","created":"2025-07-04","cited_by_count":5,"area":"agents"},{"id":"2603.14367","title":"HomeGuard: VLM-based Embodied Safeguard for Identifying Contextual Risk in Household Task","created":"2026-03-15","cited_by_count":5,"area":"mllm"},{"id":"2503.06866","title":"Graphormer-Guided Task Planning: Beyond Static Rules with LLM Safety Perception","created":"2025-03-10","cited_by_count":4,"area":"safety"},{"id":"2602.19633","title":"TAPE: Tool-Guided Adaptive Planning and Constrained Execution in Language Model Agents","created":"2026-02-23","cited_by_count":4,"area":"agents"},{"id":"2602.19983","title":"Contextual Safety Reasoning and Grounding for Open-World Robots","created":"2026-02-23","cited_by_count":4,"area":"lr"},{"id":"2504.10831","title":"Hallucination-Aware Generative Pretrained Transformer for Cooperative Aerial Mobility Control","created":"2025-04-15","cited_by_count":3,"area":"deeprl"},{"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":"2506.02357","title":"Evaluating LLM Agent Adherence to Hierarchical Safety Principles: A Lightweight Benchmark for Probing Foundational Controllability Components","created":"2025-06-03","cited_by_count":2,"area":"agents"},{"id":"2508.02629","title":"HyCodePolicy: Hybrid Language Controllers for Multimodal Monitoring and Decision in Embodied Agents","created":"2025-08-04","cited_by_count":2,"area":"mllm"},{"id":"2505.17106","title":"RRTL: Red Teaming Reasoning Large Language Models in Tool Learning","created":"2025-05-21","cited_by_count":1,"area":"lr"},{"id":"2506.18887","title":"Steering Conceptual Bias via Transformer Latent-Subspace Activation","created":"2025-06-23","cited_by_count":1,"area":"mechinterp"},{"id":"2604.17142","title":"Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems","created":"2026-04-18","cited_by_count":1,"area":"agents"},{"id":"2604.19638","title":"SafetyALFRED: Evaluating Safety-Conscious Planning of Multimodal Large Language Models","created":"2026-04-21","cited_by_count":1,"area":"mllm"},{"id":"2605.18672","title":"Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment","created":"2026-05-18","cited_by_count":1,"area":"agents"},{"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":"2606.05952","title":"Learning of Robot Safety Policies via Adversarial Synthetic Scenarios","created":"2026-06-04","cited_by_count":1,"area":"agents"},{"id":"2607.16247","title":"Self-Evolving Just-In-Time Memory for Proactive Embodied Safety","created":"2026-06-26","cited_by_count":1,"area":"mllm"},{"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":"2604.20193","title":"LLM-Guided Safety Agent for Edge Robotics with an ISO-Compliant Perception-Compute-Control Architecture","created":"2026-04-22","cited_by_count":0,"area":"agents"},{"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":"2605.12682","title":"Learning Transferable Latent User Preferences for Human-Aligned Decision Making","created":"2026-05-12","cited_by_count":0,"area":"lr"},{"id":"2606.00981","title":"Robust Asynchronous Planning via Auto-Formalization","created":"2026-05-31","cited_by_count":0,"area":null},{"id":"2608.16843","title":"Security of Foundation-Model-Powered Embodied Agents: Attack Surfaces, Attacks, Defenses, and Evaluation","created":"2026-08-17","cited_by_count":0,"area":"agents"},{"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":"2609.08444","title":"Safe Task Planning with Long-Term Graph Memory for Embodied Agents","created":"2026-09-08","cited_by_count":0,"area":"mllm"},{"id":"2609.08602","title":"CLAMP: Constrained Decoding for Vision-Language Embodied Planning","created":"2026-09-08","cited_by_count":0,"area":"mllm"},{"id":"2609.09692","title":"CT-SAFR: Safe and Interpretable Chain-of-Thought Reasoning for Autonomous Robots: A Multi-Layered Verification Framework for Trustworthy AI-Driven Robotic Decision Making","created":"2026-09-09","cited_by_count":0,"area":"lr"},{"id":"2609.16599","title":"Large Language Models in the Loop: A Stability- and Network-Aware Survey in Networked Control, Cyber-Physical, and Multi-Agent Systems","created":"2026-09-15","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.27847","title":"Security and Privacy in Large-Model-Driven Embodied Agents: Attacks, Defenses, and Future Directions","created":"2026-08-19","cited_by_count":0,"area":"agents"},{"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}