{"total":15,"rows":[{"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":"2607.08986","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","created":"2026-07-09","cited_by_count":2,"area":null},{"id":"2608.11941","title":"OEIS Open: How many conjectures can language models turn into theorems?","created":"2026-08-12","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.05383","title":"Can AI Refute Economic Theory? Evidence from Beyond the Knowledge Cutoff","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2606.16989","title":"Stable Menus of Public Goods: AI-Enabled Progress","created":"2026-06-15","cited_by_count":0,"area":null},{"id":"2606.26132","title":"Code evolution for link prediction in complex networks","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2609.20408","title":"Xeno-Interpretability: Investigating the Alien Minds of LLMs","created":"2026-09-17","cited_by_count":0,"area":null},{"id":"2609.25050","title":"FrontierMath Erd\\H{o}s","created":"2026-09-06","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.35606","title":"TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.36663","title":"GenLimitLib: A Formal Library for Language Generation in the Limit and AI-Assisted Mathematical Research","created":"2026-09-29","cited_by_count":0,"area":null},{"id":"2610.03833","title":"Distribution Matching Evolutionary Algorithms for Rare Event Sampling","created":"2026-10-02","cited_by_count":0,"area":null},{"id":"2610.11862","title":"LEVER: Adaptive Cost-Aware Proof Search Over AND/OR Graphs","created":"2026-10-08","cited_by_count":0,"area":null},{"id":"2610.14059","title":"The Future of AI-assisted Physics: Discovering, Verifying and Organizing Results via Formalization","created":"2026-10-06","cited_by_count":0,"area":null}],"next_cursor":null}