{"total":22,"rows":[{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40,"area":null},{"id":"2606.05400","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","created":"2026-06-03","cited_by_count":12,"area":null},{"id":"2602.24173","title":"LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics","created":"2026-02-27","cited_by_count":10,"area":null},{"id":"2602.21201","title":"Aletheia tackles FirstProof autonomously","created":"2026-02-24","cited_by_count":9,"area":null},{"id":"2603.15929","title":"Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium","created":"2026-03-16","cited_by_count":9,"area":null},{"id":"2606.26448","title":"Closing the Loop to Discover Psychological Theories with an Automated Cognitive Scientist","created":"2026-06-24","cited_by_count":8,"area":null},{"id":"2606.29082","title":"Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Tasks","created":"2026-06-27","cited_by_count":6,"area":null},{"id":"2608.23875","title":"AI Finds A Way","created":"2026-08-24","cited_by_count":3,"area":null},{"id":"2603.26539","title":"How Open Must Language Models be to Enable Reliable Scientific Inference?","created":"2026-03-27","cited_by_count":2,"area":null},{"id":"2608.26701","title":"Accelerating Scientific Research with Gemini in the Real-World","created":"2026-08-27","cited_by_count":2,"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":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"id":"2602.13275","title":"Artificial Organisations","created":"2026-02-05","cited_by_count":0,"area":null},{"id":"2604.07240","title":"$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture","created":"2026-04-08","cited_by_count":0,"area":null},{"id":"2604.11504","title":"Lectures on AI for Mathematics","created":"2026-04-13","cited_by_count":0,"area":null},{"id":"2604.21187","title":"Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery","created":"2026-04-23","cited_by_count":0,"area":null},{"id":"2605.05193","title":"Grokability in five inequalities","created":"2026-05-06","cited_by_count":0,"area":null},{"id":"2607.26984","title":"Using large language models to probe the limits of atom-centered structural descriptors","created":"2026-07-29","cited_by_count":0,"area":null},{"id":"2610.03675","title":"FrugalEvo: Towards Cost-Aware LLM-Guided Program Evolution","created":"2026-10-02","cited_by_count":0,"area":null},{"id":"2610.09769","title":"Bolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving","created":"2026-10-07","cited_by_count":0,"area":null},{"id":"2610.13461","title":"SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability","created":"2026-10-09","cited_by_count":0,"area":null},{"id":"2610.18089","title":"One-Sided Verification Under Limited Expert Review","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}