{"total":58,"rows":[{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2504.20984","title":"ACE: A Security Architecture for LLM-Integrated App Systems","created":"2025-04-29","cited_by_count":55,"area":null},{"id":"2505.19897","title":"ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows","created":"2025-05-26","cited_by_count":52,"area":"agents"},{"id":"2510.12787","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","created":"2025-10-14","cited_by_count":31,"area":"lr"},{"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":"2505.21116","title":"Creativity in LLM-based Multi-Agent Systems: A Survey","created":"2025-05-27","cited_by_count":23,"area":"agents"},{"id":"2512.16301","title":"Adaptation of Agentic AI: A Survey of Post-Training, Memory, and Skills","created":"2025-12-18","cited_by_count":22,"area":"agents"},{"id":"2602.06176","title":"Large Language Model Reasoning Failures","created":"2026-02-05","cited_by_count":21,"area":"lr"},{"id":"2412.06512","title":"The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap","created":"2024-12-09","cited_by_count":20,"area":"agents"},{"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":"2502.13834","title":"Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning","created":"2025-02-19","cited_by_count":17,"area":"lr"},{"id":"2506.11487","title":"Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models","created":"2025-06-13","cited_by_count":17,"area":"lr"},{"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":"2410.16930","title":"Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward Passes","created":"2024-10-22","cited_by_count":10,"area":"lr"},{"id":"2604.06802","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","created":"2026-04-08","cited_by_count":8,"area":null},{"id":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","cited_by_count":6,"area":"lr"},{"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":"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":"2603.25810","title":"ExVerus: Verus Proof Repair via Counterexample Reasoning","created":"2026-03-26","cited_by_count":3,"area":"lr"},{"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":"2602.20770","title":"Pipeline for Verifying LLM-Generated Mathematical Solutions","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"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":"2603.22363","title":"Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale","created":"2026-03-23","cited_by_count":1,"area":"lr"},{"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":"2605.30914","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"id":"2606.08728","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","created":"2026-06-07","cited_by_count":1,"area":"lr"},{"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":"2606.28841","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","created":"2026-06-27","cited_by_count":1,"area":"lr"},{"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":"2607.17352","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","created":"2026-07-19","cited_by_count":1,"area":"lr"},{"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":"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":"2507.04034","title":"Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs","created":"2025-07-05","cited_by_count":0,"area":"lr"},{"id":"2602.07559","title":"VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning","created":"2026-02-07","cited_by_count":0,"area":"lr"},{"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":"2605.27485","title":"Automating Formal Verification with Agent-Guided Tree Search","created":"2026-05-26","cited_by_count":0,"area":"agents"},{"id":"2606.00671","title":"Moxia: A Trust-First Neuro-Symbolic Execution Architecture for Self-Explaining Mathematical Reasoning","created":"2026-05-30","cited_by_count":0,"area":"lr"},{"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.01799","title":"SkillEvoLean: Mutation-enhanced skill evolution for Lean provers","created":"2026-10-01","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.09401","title":"Let the Library Speak: Self-Advertised Method Selection for Formal Proving","created":"2026-10-07","cited_by_count":0,"area":null},{"id":"2610.13361","title":"AgentSWE: Can Coding Agents Build the Agent You Actually Want?","created":"2026-10-09","cited_by_count":0,"area":"agents"},{"id":"2610.17331","title":"Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean","created":"2026-10-12","cited_by_count":0,"area":"agents"}],"next_cursor":null}