{"total":77,"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":"2511.23473","title":"ThetaEvolve: Test-time Learning on Open Problems","created":"2025-11-28","cited_by_count":64,"area":null},{"id":"2602.23413","title":"EvoX: Meta-Evolution for Automated Discovery","created":"2026-02-26","cited_by_count":60,"area":null},{"id":"2601.12538","title":"A Survey of Agentic Reasoning for Large Language Models: Towards Recursively Self-Improving and Collective Agents","created":"2026-01-18","cited_by_count":50,"area":"lr"},{"id":"2601.11516","title":"Building Production-Ready Probes For Gemini","created":"2026-01-16","cited_by_count":47,"area":"safety"},{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40,"area":null},{"id":"2606.06473","title":"MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery","created":"2026-06-04","cited_by_count":28,"area":"synth"},{"id":"2602.02919","title":"DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven Evolution","created":"2026-02-02","cited_by_count":26,"area":null},{"id":"2605.22763","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","created":"2026-05-21","cited_by_count":23,"area":"lr"},{"id":"2604.19341","title":"Structured Scaling of AI Discovery Across Diverse Scientific Domains","created":"2026-04-21","cited_by_count":21,"area":null},{"id":"2609.14858","title":"Dream-RSI: Recursive Self-Improvement through Evolving Worlds","created":"2026-09-14","cited_by_count":18,"area":null},{"id":"2511.07262","title":"AgenticSciML: Collaborative Multi-Agent Systems for Emergent Discovery in Scientific Machine Learning","created":"2025-11-10","cited_by_count":14,"area":null},{"id":"2511.17592","title":"GigaEvo: An Open Source Optimization Framework Powered By LLMs And Evolution Algorithms","created":"2025-11-17","cited_by_count":11,"area":null},{"id":"2602.16805","title":"Simple Baselines are Competitive with Code Evolution","created":"2026-02-18","cited_by_count":9,"area":null},{"id":"2603.09172","title":"Reinforced Generation of Combinatorial Structures: Ramsey Numbers","created":"2026-03-10","cited_by_count":9,"area":null},{"id":"2603.15617","title":"Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification","created":"2026-03-16","cited_by_count":9,"area":"lr"},{"id":"2512.03476","title":"ATHENA: Agentic Team for Hierarchical Evolutionary Numerical Algorithms","created":"2025-12-03","cited_by_count":7,"area":"agents"},{"id":"2602.22425","title":"ArchAgent: Agentic AI-driven Computer Architecture Discovery","created":"2026-02-25","cited_by_count":6,"area":"agents"},{"id":"2605.09764","title":"LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Search","created":"2026-05-10","cited_by_count":6,"area":null},{"id":"2605.11117","title":"GRAFT-ATHENA: Self-Improving Agentic Teams for Autonomous Discovery and Evolutionary Numerical Algorithms","created":"2026-05-11","cited_by_count":6,"area":"agents"},{"id":"2601.11650","title":"Large Language Model Agent for User-friendly Chemical Process Simulations","created":"2026-01-15","cited_by_count":5,"area":null},{"id":"2604.01754","title":"LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketches","created":"2026-04-02","cited_by_count":5,"area":"lr"},{"id":"2604.03312","title":"Computer Architecture's AlphaZero Moment: Automated Discovery in an Encircled World","created":"2026-03-31","cited_by_count":5,"area":null},{"id":"2602.16928","title":"Discovering Multiagent Learning Algorithms with Large Language Models","created":"2026-02-18","cited_by_count":4,"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":"2601.18005","title":"Flow-based Extremal Mathematical Structure Discovery","created":"2026-01-25","cited_by_count":3,"area":null},{"id":"2602.01075","title":"ConvexBench: Can LLMs Recognize Convex Functions?","created":"2026-02-01","cited_by_count":3,"area":null},{"id":"2603.14575","title":"CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpad","created":"2026-03-15","cited_by_count":3,"area":null},{"id":"2605.20086","title":"What Do Evolutionary Coding Agents Evolve?","created":"2026-05-19","cited_by_count":3,"area":"agents"},{"id":"2601.02380","title":"LLMs, Reasoning and Plagiarism","created":"2025-12-18","cited_by_count":2,"area":"lr"},{"id":"2604.16995","title":"SPS: Steering Probability Squeezing for Better Exploration in Reinforcement Learning for Large Language Models","created":"2026-04-18","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":"2605.15308","title":"SMCEvolve: Principled Scientific Discovery via Sequential Monte Carlo Evolution","created":"2026-05-14","cited_by_count":2,"area":null},{"id":"2606.14688","title":"Flood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limit","created":"2026-06-12","cited_by_count":2,"area":null},{"id":"2606.31182","title":"AI-Assisted Discovery of Convex Relaxations via Dual Agents","created":"2026-06-30","cited_by_count":2,"area":"agents"},{"id":"2602.03132","title":"Contrastive Concept-Tree Search for LLM-Assisted Algorithm Discovery","created":"2026-02-03","cited_by_count":1,"area":null},{"id":"2602.06291","title":"Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math","created":"2026-02-06","cited_by_count":1,"area":"lr"},{"id":"2602.10233","title":"ImprovEvolve: Basin-Hopping Meets LLM-Guided Evolutionary Search","created":"2026-02-10","cited_by_count":1,"area":null},{"id":"2602.16807","title":"Improved Upper Bounds for Slicing the Hypercube","created":"2026-02-06","cited_by_count":1,"area":null},{"id":"2603.08679","title":"A New Lower Bound for the Random Offerer Mechanism in Bilateral Trade using AI-Guided Evolutionary Search","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2603.26359","title":"Automated near-term quantum algorithm discovery for molecular ground states","created":"2026-03-27","cited_by_count":1,"area":null},{"id":"2604.27351","title":"Heterogeneous Scientific Foundation Model Collaboration","created":"2026-04-30","cited_by_count":1,"area":"agents"},{"id":"2605.05921","title":"Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery","created":"2026-05-07","cited_by_count":1,"area":null},{"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":"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":"2607.27709","title":"MECA: A Mechanism-Centered Agent for Constructing Well-Specified and Valuable Mathematical Conjectures","created":"2026-07-30","cited_by_count":1,"area":null},{"id":"2607.28632","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","created":"2026-04-19","cited_by_count":1,"area":null},{"id":"2608.23691","title":"Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment","created":"2026-08-24","cited_by_count":1,"area":null},{"id":"2608.25220","title":"FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving","created":"2026-08-25","cited_by_count":1,"area":null},{"id":"2609.15983","title":"Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science","created":"2026-09-14","cited_by_count":1,"area":"agents"},{"id":"2609.38349","title":"MILO: Automated Harness Discovery via Orchestrated Multi-Agent Evolution","created":"2026-09-29","cited_by_count":1,"area":"agents"},{"id":"2602.18918","title":"Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)","created":"2026-02-21","cited_by_count":0,"area":"lr"},{"id":"2602.22260","title":"Code World Models for Parameter Control in Evolutionary Algorithms","created":"2026-02-25","cited_by_count":0,"area":"wm"},{"id":"2603.19375","title":"Automated Membership Inference Attacks (AutoMIA): Discovering MIA Signal Computations using LLM Agents","created":"2026-03-19","cited_by_count":0,"area":"agents"},{"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.15787","title":"EVIL: Evolving Interpretable Algorithms for Zero-Shot Inference on Event Sequences and Time Series with LLMs","created":"2026-04-17","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":"2605.31049","title":"Learning to Solve and Optimize by Evolving Code","created":"2026-05-29","cited_by_count":0,"area":null},{"id":"2605.31464","title":"GPU Forecasters: Language Models as Selective Surrogates for Kernel Runtime Optimization","created":"2026-05-29","cited_by_count":0,"area":"agents"},{"id":"2606.01145","title":"Reasoning4Sciences: Bridging Reasoning Language Models to All Scientific Branches","created":"2026-05-31","cited_by_count":0,"area":"lr"},{"id":"2606.07515","title":"How reliable are LLMs when it comes to playing dice?","created":"2026-06-05","cited_by_count":0,"area":"lr"},{"id":"2606.16989","title":"Stable Menus of Public Goods: AI-Enabled Progress","created":"2026-06-15","cited_by_count":0,"area":null},{"id":"2606.17581","title":"Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics","created":"2026-06-16","cited_by_count":0,"area":null},{"id":"2606.18910","title":"REVES: REvision and VErification--Augmented Training for Test-Time Scaling","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2606.26132","title":"Code evolution for link prediction in complex networks","created":"2026-06-18","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.20421","title":"Six misconceptions about large language models: A minimal model and diagnostic taxonomy","created":"2026-08-19","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.32264","title":"LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models","created":"2026-09-26","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.36303","title":"HeurEvo: Agentic Evolution of Hybrid Solver-Augmented Heuristics for Time-Critical Mathematical Optimization","created":"2026-09-28","cited_by_count":0,"area":"agents"},{"id":"2609.40324","title":"Cogentic: Multi-Agent Orchestration for Automated Proof Discovery","created":"2026-09-30","cited_by_count":0,"area":"agents"},{"id":"2610.10129","title":"When Algorithmic Exploration Becomes Cheap: A Case Study of Agentic Research in EDA","created":"2026-10-07","cited_by_count":0,"area":"agents"},{"id":"2610.12367","title":"Which Skill to Distill? SGUID: Selecting a Compact Skill Bank for Model-Skill Co-Evolution","created":"2026-10-08","cited_by_count":0,"area":null},{"id":"2610.13194","title":"JANUS: Enhancing Long-Horizon Autonomous Research with Co-Evolving World Models","created":"2026-10-09","cited_by_count":0,"area":"wm"},{"id":"2610.16555","title":"AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems","created":"2026-10-12","cited_by_count":0,"area":null},{"id":"2610.17370","title":"HarnessTTT: Learn to Optimize Harness at Test-Time for Scientific Discovery","created":"2026-10-12","cited_by_count":0,"area":null}],"next_cursor":null}