{"total":14,"rows":[{"id":"2506.19923","title":"Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs","created":"2025-06-24","cited_by_count":31,"area":"agents"},{"id":"2506.03332","title":"Helpful Agent Meets Deceptive Judge: Understanding Vulnerabilities in Agentic Workflows","created":"2025-06-03","cited_by_count":7,"area":"agents"},{"id":"2605.17283","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","created":"2026-05-17","cited_by_count":7,"area":"agents"},{"id":"2509.23675","title":"PAT-Agent: Autoformalization for Model Checking","created":"2025-09-28","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":"2607.03656","title":"AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis","created":"2026-07-04","cited_by_count":2,"area":"agents"},{"id":"2607.06341","title":"Harnessing Code Agents for Automatic Software Verification","created":"2026-07-07","cited_by_count":1,"area":"agents"},{"id":"2607.22511","title":"CausalSmith: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference","created":"2026-07-24","cited_by_count":1,"area":"agents"},{"id":"2602.10512","title":"Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers","created":"2026-02-11","cited_by_count":0,"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.12694","title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis","created":"2026-05-12","cited_by_count":0,"area":"agents"},{"id":"2608.30803","title":"Schwarz: Solver-Aware Agentic Program Verification","created":"2026-08-31","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.03796","title":"ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents","created":"2026-10-01","cited_by_count":0,"area":"agents"}],"next_cursor":null}