{"total":20,"rows":[{"id":"2408.02232","title":"SpecRover: Code Intent Extraction via LLMs","created":"2024-08-05","cited_by_count":72,"area":"agents"},{"id":"2511.12884","title":"Agent READMEs: An Empirical Study of Context Files for Agentic Coding","created":"2025-11-17","cited_by_count":23,"area":"agents"},{"id":"2506.02943","title":"Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test Generation","created":"2025-06-03","cited_by_count":9,"area":"agents"},{"id":"2603.17150","title":"Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents","created":"2026-03-17","cited_by_count":9,"area":"agents"},{"id":"2511.17330","title":"Agentic Verification of Software Systems","created":"2025-11-21","cited_by_count":6,"area":"agents"},{"id":"2510.26423","title":"Nexus: Execution-Grounded Multi-Agent Test Oracle Synthesis","created":"2025-10-30","cited_by_count":4,"area":"agents"},{"id":"2512.16279","title":"QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems","created":"2025-12-18","cited_by_count":4,"area":"agents"},{"id":"2508.09648","title":"ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation","created":"2025-08-13","cited_by_count":2,"area":"agents"},{"id":"2603.22114","title":"Automated Lemma Discovery in Agentic Program Verification","created":"2026-03-23","cited_by_count":2,"area":"agents"},{"id":"2604.10300","title":"From Helpful to Trustworthy: LLM Agents for Pair Programming","created":"2026-04-11","cited_by_count":0,"area":"agents"},{"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.12694","title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis","created":"2026-05-12","cited_by_count":0,"area":"agents"},{"id":"2605.27531","title":"Agentic Separation Logic Specification Synthesis","created":"2026-05-26","cited_by_count":0,"area":"agents"},{"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":"2605.29251","title":"Provably Secure Agent Guardrail","created":"2026-05-28","cited_by_count":0,"area":"agents"},{"id":"2606.18619","title":"Code-Augur: Agentic Vulnerability Detection via Specification Inference","created":"2026-06-17","cited_by_count":0,"area":"agents"},{"id":"2608.17177","title":"Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation","created":"2026-08-17","cited_by_count":0,"area":"agents"},{"id":"2609.39022","title":"From Verification Failures to Reusable Guidance for Coding Agents","created":"2026-09-30","cited_by_count":0,"area":"agents"},{"id":"2610.09159","title":"SpecGuard: Proving a Task Is Broken Before the Agent Cheats","created":"2026-10-06","cited_by_count":0,"area":"agents"},{"id":"2610.16870","title":"SpecGuardBench: Can Coding Agents Construct Reliable Validation Harnesses from Natural Language Specifications?","created":"2026-10-12","cited_by_count":0,"area":"agents"}],"next_cursor":null}