{"total":13,"rows":[{"id":"2409.09030","title":"Agents in Software Engineering: Survey, Landscape, and Vision","created":"2024-09-13","cited_by_count":60,"area":"agents"},{"id":"2512.18436","title":"VeruSAGE: A Study of Agent-Based Verification for Rust Systems","created":"2025-12-20","cited_by_count":12,"area":"agents"},{"id":"2511.12294","title":"ProofWright: Towards Agentic Formal Verification of CUDA","created":"2025-11-15","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":"2603.25111","title":"SEVerA: Verified Synthesis of Self-Evolving Agents","created":"2026-03-26","cited_by_count":8,"area":"agents"},{"id":"2603.00805","title":"NERFIFY: A Multi-Agent Framework for Turning NeRF Papers into Code","created":"2026-02-28","cited_by_count":3,"area":"agents"},{"id":"2605.26457","title":"Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization","created":"2026-05-26","cited_by_count":3,"area":"agents"},{"id":"2605.07935","title":"TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples","created":"2026-05-08","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.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.09159","title":"SpecGuard: Proving a Task Is Broken Before the Agent Cheats","created":"2026-10-06","cited_by_count":0,"area":"agents"}],"next_cursor":null}