{"total":16,"rows":[{"id":"2505.23135","title":"VERINA: Benchmarking Verifiable Code Generation","created":"2025-05-29","cited_by_count":34,"area":null},{"id":"2411.18872","title":"A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems","created":"2024-11-28","cited_by_count":6,"area":null},{"id":"2605.18991","title":"Agent Security is a Systems Problem","created":"2026-05-18","cited_by_count":5,"area":null},{"id":"2607.13292","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","created":"2026-07-14","cited_by_count":3,"area":null},{"id":"2603.15799","title":"Prose2Policy (P2P): A Practical LLM Pipeline for Translating Natural-Language Access Policies into Executable Rego","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2604.24686","title":"Governing What You Cannot Observe: Adaptive Runtime Governance for Autonomous AI Agents","created":"2026-04-27","cited_by_count":1,"area":null},{"id":"2606.30970","title":"Behavioral Governance for Autonomous AI Agents: The AgentBound Framework","created":"2026-06-29","cited_by_count":1,"area":null},{"id":"2609.05920","title":"Versioned Transitive Dependency-Closure Binding and Operation-Time Effect Governance for Agent Skills: ClosureBound","created":"2026-09-05","cited_by_count":1,"area":null},{"id":"2605.25376","title":"KYA: A Framework-Agnostic Trust Layer for Autonomous Systems with Verifiable Provenance and Hierarchical Policy Composition","created":"2026-05-25","cited_by_count":0,"area":null},{"id":"2606.26298","title":"Governing Actions, Not Agents: Institutional Attestation as a Governance Model for Autonomous AI Systems","created":"2026-06-24","cited_by_count":0,"area":null},{"id":"2608.26696","title":"Five Primitives for Governing Autonomous AI Agents at Runtime","created":"2026-08-27","cited_by_count":0,"area":null},{"id":"2609.24036","title":"Structured Decomposition for Reliable LLM-Generated Access Control Policies","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2609.25443","title":"ZeroGate: Trust-Preserving Fast Paths for Governed AI Agent Runtimes","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2609.33796","title":"RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation","created":"2026-09-27","cited_by_count":0,"area":null},{"id":"2609.37457","title":"VeriWeave Govern: Evidence-Gated Deterministic Runtime Governance for Enterprise AI Agents","created":"2026-09-26","cited_by_count":0,"area":null},{"id":"2610.18612","title":"Nudge the Judge: Uncovering Program Decision Hijacking in Real-World Jev Applications","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}