{"total":22,"rows":[{"id":"2402.00798","title":"Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents","created":"2024-02-01","cited_by_count":40,"area":"agents"},{"id":"2404.01549","title":"Octopus: On-device language model for function calling of software APIs","created":"2024-04-02","cited_by_count":27,"area":"agents"},{"id":"2507.04504","title":"Unveiling the Potential of Diffusion Large Language Model in Controllable Generation","created":"2025-07-06","cited_by_count":15,"area":"agents"},{"id":"2310.07075","title":"Don't Fine-Tune, Decode: Syntax Error-Free Tool Use via Constrained Decoding","created":"2023-10-10","cited_by_count":13,"area":"agents"},{"id":"2505.13453","title":"Pel, A Programming Language for Orchestrating AI Agents","created":"2025-04-03","cited_by_count":5,"area":"agents"},{"id":"2605.20023","title":"When Skills Don't Help: A Negative Result on Procedural Knowledge for Tool-Grounded Agents in Offensive Cybersecurity","created":"2026-05-19","cited_by_count":4,"area":"agents"},{"id":"2508.03665","title":"A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design","created":"2025-08-05","cited_by_count":2,"area":"agents"},{"id":"2608.14590","title":"Toward Safe LLM Agents: A Survey of Specification, Verification, and Enforcement","created":"2026-06-22","cited_by_count":2,"area":"agents"},{"id":"2403.14562","title":"Agentic AI: The Era of Semantic Decoding","created":"2024-03-21","cited_by_count":1,"area":"agents"},{"id":"2507.12261","title":"Infherno: End-to-end Agent-based FHIR Resource Synthesis from Free-form Clinical Notes","created":"2025-07-16","cited_by_count":1,"area":"agents"},{"id":"2603.06365","title":"ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code","created":"2026-03-06","cited_by_count":1,"area":"agents"},{"id":"2603.22577","title":"STRIATUM-CTF: A Protocol-Driven Agentic Framework for General-Purpose CTF Solving","created":"2026-03-23","cited_by_count":1,"area":"agents"},{"id":"2605.03476","title":"CuraView: A Multi-Agent Framework for Medical Hallucination Detection with GraphRAG-Enhanced Knowledge Verification","created":"2026-05-05","cited_by_count":1,"area":"agents"},{"id":"2603.27905","title":"ATLAS-RTC: Closing the Loop on LLM Agent Output with Token-Level Runtime Control","created":"2026-03-29","cited_by_count":0,"area":"agents"},{"id":"2605.14051","title":"SPIN: Structural LLM Planning via Iterative Navigation for Industrial Tasks","created":"2026-05-13","cited_by_count":0,"area":"agents"},{"id":"2608.05493","title":"Learning Context-Free Grammars for Grammar-Constrained Decoding via Declarative Agentic Programming with Guarantees","created":"2026-08-06","cited_by_count":0,"area":"agents"},{"id":"2608.09028","title":"PolicyKG: An Agentic LLM Pipeline for Translating Institutional Policies into SHACL Knowledge Graphs","created":"2026-08-10","cited_by_count":0,"area":"agents"},{"id":"2609.00621","title":"Control-Data Flow Separation: Stable Prompt Optimization in Multi-Agent LLMs","created":"2026-09-01","cited_by_count":0,"area":"agents"},{"id":"2609.09476","title":"From Fixed Keys to Readable Schemas: Small Language Models for Vehicle Agent Function Calls","created":"2026-09-08","cited_by_count":0,"area":"agents"},{"id":"2609.17107","title":"Symbolic Separation: Grounding Deep Agents in Knowledge Graphs for Trustworthy Operational Data Analytics","created":"2026-09-15","cited_by_count":0,"area":"agents"},{"id":"2610.16895","title":"Observe, Share, or Predict? Disentangling Partner Information in Embodied Multi-Agent Collaboration","created":"2026-10-12","cited_by_count":0,"area":"agents"},{"id":"2610.17436","title":"SchemaWeaver: Accelerating On-Device Mobile Agentic AI via Schema-Guided Parallel LLM Decoding","created":"2026-10-12","cited_by_count":0,"area":"agents"}],"next_cursor":null}