{"total":20,"rows":[{"id":"2605.00674","title":"Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs","created":"2026-05-01","cited_by_count":137,"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":"2604.06107","title":"Artificial Intelligence and the Structure of Mathematics","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2603.18813","title":"Can LLM generate interesting mathematical research problems?","created":"2026-03-19","cited_by_count":2,"area":null},{"id":"2604.20622","title":"pAI/MSc: ML Theory Research with Humans on the Loop","created":"2026-04-22","cited_by_count":2,"area":null},{"id":"2608.16977","title":"The Problem Is the Problem: Towards Scalable Mathematical Discovery","created":"2026-08-17","cited_by_count":2,"area":null},{"id":"2606.10799","title":"Evaluating Research-Level Math Proofs via Strict Step-Level Verification","created":"2026-06-09","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":"2609.25199","title":"Lean Pool: An AI-Maintained Archive of Formalized Mathematics","created":"2026-09-21","cited_by_count":1,"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.19837","title":"Forage V2: Knowledge Evolution and Transfer in Autonomous Agent Organizations","created":"2026-04-21","cited_by_count":0,"area":null},{"id":"2606.24902","title":"Failure Modes of Large Language Models on Research-Level Mathematics: A Taxonomy and an Empirical Characterisation","created":"2026-06-12","cited_by_count":0,"area":null},{"id":"2606.29593","title":"How AI settled the complexity of the oldest SGD algorithm","created":"2026-06-28","cited_by_count":0,"area":null},{"id":"2607.09721","title":"The Ramanujan Challenge For AI","created":"2026-06-27","cited_by_count":0,"area":null},{"id":"2607.17388","title":"Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory","created":"2026-07-19","cited_by_count":0,"area":null},{"id":"2608.14669","title":"Beyond Correctness: Toward Automated Novelty Verification with Lean 4","created":"2026-08-02","cited_by_count":0,"area":null},{"id":"2608.29401","title":"Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research","created":"2026-08-29","cited_by_count":0,"area":null},{"id":"2609.35606","title":"TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science","created":"2026-09-28","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}