{"total":15,"rows":[{"id":"2409.02977","title":"Large Language Model-Based Agents for Software Engineering: A Survey","created":"2024-09-04","cited_by_count":178,"area":"agents"},{"id":"2408.02479","title":"From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Future","created":"2024-08-05","cited_by_count":86,"area":"agents"},{"id":"2408.02232","title":"SpecRover: Code Intent Extraction via LLMs","created":"2024-08-05","cited_by_count":72,"area":"agents"},{"id":"2412.06512","title":"The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap","created":"2024-12-09","cited_by_count":20,"area":"agents"},{"id":"2601.09822","title":"LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities","created":"2026-01-14","cited_by_count":8,"area":"agents"},{"id":"2508.18675","title":"Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision","created":"2025-08-26","cited_by_count":4,"area":"agents"},{"id":"2602.11136","title":"FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight","created":"2026-02-11","cited_by_count":4,"area":"agents"},{"id":"2509.24515","title":"Agentic Specification Generator for Move Programs","created":"2025-09-29","cited_by_count":3,"area":"agents"},{"id":"2503.13279","title":"Goal2Story: A Multi-Agent Fleet based on Privately Enabled sLLMs for Impacting Mapping on Requirements Elicitation","created":"2025-03-17","cited_by_count":1,"area":"agents"},{"id":"2605.01394","title":"LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation","created":"2026-05-02","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":"2606.18619","title":"Code-Augur: Agentic Vulnerability Detection via Specification Inference","created":"2026-06-17","cited_by_count":0,"area":"agents"},{"id":"2609.25018","title":"OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents","created":"2026-08-08","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.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}