{"total":23,"rows":[{"id":"2401.00812","title":"If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agents","created":"2024-01-01","cited_by_count":79,"area":"agents"},{"id":"2503.18492","title":"VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification","created":"2025-03-24","cited_by_count":22,"area":"agents"},{"id":"2510.04520","title":"Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph","created":"2025-10-06","cited_by_count":21,"area":"agents"},{"id":"2602.16554","title":"MerLean: An Agentic Framework for Autoformalization in Quantum Computation","created":"2026-02-18","cited_by_count":10,"area":"agents"},{"id":"2602.02990","title":"Learning to Repair Lean Proofs from Compiler Feedback","created":"2026-02-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":"2412.08805","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","created":"2024-12-11","cited_by_count":5,"area":"agents"},{"id":"2606.14000","title":"Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance","created":"2026-06-12","cited_by_count":5,"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":"2603.15914","title":"The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning","created":"2026-03-16","cited_by_count":4,"area":"agents"},{"id":"2607.20503","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","created":"2026-06-26","cited_by_count":3,"area":"agents"},{"id":"2606.09674","title":"(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs","created":"2026-06-08","cited_by_count":2,"area":"agents"},{"id":"2607.07857","title":"Multi-agent Autoformalization of Tensor Network Theory","created":"2026-07-08","cited_by_count":2,"area":"agents"},{"id":"2608.13060","title":"VALG: An Agentic System for ML Theory Research","created":"2026-08-13","cited_by_count":2,"area":"agents"},{"id":"2607.16372","title":"AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language","created":"2026-07-17","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":"2407.14521","title":"Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent","created":"2024-07-05","cited_by_count":0,"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":"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":"2607.06820","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","created":"2026-07-07","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"},{"id":"2610.05367","title":"AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness","created":"2026-10-04","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}