{"total":30,"rows":[{"id":"2504.20984","title":"ACE: A Security Architecture for LLM-Integrated App Systems","created":"2025-04-29","cited_by_count":55,"area":null},{"id":"2406.13890","title":"ClinicalLab: Aligning Agents for Multi-Departmental Clinical Diagnostics in the Real World","created":"2024-06-19","cited_by_count":28,"area":null},{"id":"2405.17216","title":"Autoformalizing Euclidean Geometry","created":"2024-05-27","cited_by_count":27,"area":null},{"id":"2504.16728","title":"IRIS: Interactive Research Ideation System for Accelerating Scientific Discovery","created":"2025-04-23","cited_by_count":19,"area":null},{"id":"2506.11085","title":"LeanExplore: A search engine for Lean 4 declarations","created":"2025-06-04","cited_by_count":18,"area":null},{"id":"2509.01659","title":"Physics Supernova: AI Agent Matches Elite Gold Medalists at IPhO 2025","created":"2025-09-01","cited_by_count":14,"area":null},{"id":"2604.06802","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","created":"2026-04-08","cited_by_count":8,"area":null},{"id":"2506.07477","title":"Premise Selection for a Lean Hammer","created":"2025-06-09","cited_by_count":6,"area":null},{"id":"2510.15280","title":"Foundation Models for Scientific Discovery: From Paradigm Enhancement to Paradigm Transition","created":"2025-10-17","cited_by_count":6,"area":null},{"id":"2608.28433","title":"Prove2Me: An Open Collaborative Platform for Scaling Math Formalization","created":"2026-08-28","cited_by_count":5,"area":null},{"id":"2605.17829","title":"Interactive Evaluation Requires a Design Science","created":"2026-05-18","cited_by_count":3,"area":null},{"id":"2604.16584","title":"Certified Program Synthesis with a Multi-Modal Verifier","created":"2026-04-17","cited_by_count":2,"area":null},{"id":"2407.08836","title":"Fault Diagnosis in Power Grids with Large Language Model","created":"2024-07-11","cited_by_count":1,"area":null},{"id":"2410.02666","title":"AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs","created":"2024-10-03","cited_by_count":1,"area":null},{"id":"2510.12829","title":"Mathematics with large language models as provers and verifiers","created":"2025-10-11","cited_by_count":1,"area":null},{"id":"2603.04528","title":"Discovering mathematical concepts through a multi-agent system","created":"2026-03-04","cited_by_count":1,"area":null},{"id":"2603.19828","title":"FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization","created":"2026-03-20","cited_by_count":1,"area":null},{"id":"2604.16347","title":"Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization","created":"2026-03-16","cited_by_count":1,"area":null},{"id":"2606.20642","title":"Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory","created":"2026-06-03","cited_by_count":1,"area":null},{"id":"2607.14582","title":"MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research","created":"2026-07-16","cited_by_count":1,"area":null},{"id":"2609.05157","title":"AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics","created":"2026-09-04","cited_by_count":1,"area":null},{"id":"2604.17229","title":"Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1","created":"2026-04-19","cited_by_count":0,"area":null},{"id":"2605.25556","title":"Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4","created":"2026-05-25","cited_by_count":0,"area":null},{"id":"2606.04273","title":"Human agency in initial human-AI proof formalization workflows","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2606.05729","title":"Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search","created":"2026-06-04","cited_by_count":0,"area":null},{"id":"2608.20432","title":"ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib","created":"2026-08-20","cited_by_count":0,"area":null},{"id":"2609.25575","title":"Direct Optimization of Generators for Search in Automated Theorem Proving","created":"2026-09-22","cited_by_count":0,"area":null},{"id":"2609.34460","title":"When Does Structured Knowledge Help Neural Theorem Proving?","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.34960","title":"ProofLoom: Proof-Obligation-Driven Theory Construction for Autoformalizing Research-Level Stochastic Optimization","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.09401","title":"Let the Library Speak: Self-Advertised Method Selection for Formal Proving","created":"2026-10-07","cited_by_count":0,"area":null}],"next_cursor":null}