{"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":"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.23675","title":"PAT-Agent: Autoformalization for Model Checking","created":"2025-09-28","cited_by_count":3,"area":"agents"},{"id":"2509.24515","title":"Agentic Specification Generator for Move Programs","created":"2025-09-29","cited_by_count":3,"area":"agents"},{"id":"2605.17475","title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair","created":"2026-05-17","cited_by_count":3,"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.18228","title":"Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications","created":"2026-04-20","cited_by_count":0,"area":"agents"},{"id":"2605.21434","title":"Agentic Model Checking","created":"2026-05-20","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":"2607.27733","title":"VeriSkill: A Self-Evolution Framework for Program Verification Skills","created":"2026-07-30","cited_by_count":0,"area":"agents"},{"id":"2608.03588","title":"GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation","created":"2026-08-04","cited_by_count":0,"area":"agents"},{"id":"2608.29841","title":"SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs","created":"2026-08-30","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}