{"total":13,"rows":[{"id":"2406.02630","title":"AI Agents Under Threat: A Survey of Key Security Challenges and Future Pathways","created":"2024-06-04","cited_by_count":127,"area":null},{"id":"2410.12112","title":"Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming","created":"2024-10-15","cited_by_count":35,"area":null},{"id":"2411.16313","title":"CATP-LLM: Empowering Large Language Models for Cost-Aware Tool Planning","created":"2024-11-25","cited_by_count":14,"area":null},{"id":"2406.15938","title":"RuleR: Improving LLM Controllability by Rule-based Data Recycling","created":"2024-06-22","cited_by_count":11,"area":null},{"id":"2506.03887","title":"Pre$^3$: Enabling Deterministic Pushdown Automata for Faster Structured LLM Generation","created":"2025-06-04","cited_by_count":11,"area":null},{"id":"2601.17789","title":"Neuro-Symbolic Verification on Instruction Following of LLMs","created":"2026-01-25","cited_by_count":4,"area":null},{"id":"2504.14411","title":"Planet as a Brain: Towards Internet of AgentSites based on AIOS Server","created":"2025-04-19","cited_by_count":2,"area":null},{"id":"2510.26935","title":"RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification","created":"2025-10-30","cited_by_count":2,"area":null},{"id":"2606.20510","title":"Efficient and Sound Probabilistic Verification for AI Agents","created":"2026-06-18","cited_by_count":2,"area":null},{"id":"2509.22834","title":"Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design","created":"2025-09-26","cited_by_count":1,"area":null},{"id":"2507.11352","title":"Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces","created":"2025-07-15","cited_by_count":0,"area":null},{"id":"2603.03317","title":"Retcon -- a Prompt-Based Technique for Precise Control of LLMs in Conversations","created":"2026-02-09","cited_by_count":0,"area":null},{"id":"2604.15190","title":"Meituan Merchant Business Diagnosis via Policy-Guided Dual-Process User Simulation","created":"2026-04-16","cited_by_count":0,"area":null}],"next_cursor":null}