{"total":48,"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":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40,"area":null},{"id":"2602.02919","title":"DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven Evolution","created":"2026-02-02","cited_by_count":26,"area":null},{"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":"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":"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.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":"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":"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":"2602.03132","title":"Contrastive Concept-Tree Search for LLM-Assisted Algorithm Discovery","created":"2026-02-03","cited_by_count":1,"area":null},{"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":"2605.05921","title":"Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery","created":"2026-05-07","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":"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":"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":"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.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":"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.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}