{"total":70,"rows":[{"id":"2307.03109","title":"A Survey on Evaluation of Large Language Models","created":"2023-07-06","cited_by_count":1242,"area":null},{"id":"2402.14008","title":"OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems","created":"2024-02-21","cited_by_count":1136,"area":"mllm"},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867,"area":"agents"},{"id":"2309.12284","title":"MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models","created":"2023-09-21","cited_by_count":735,"area":"synth"},{"id":"2307.06435","title":"A Comprehensive Overview of Large Language Models","created":"2023-07-12","cited_by_count":648,"area":null},{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388,"area":"lr"},{"id":"2310.19736","title":"Evaluating Large Language Models: A Comprehensive Survey","created":"2023-10-30","cited_by_count":202,"area":null},{"id":"2310.06786","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","created":"2023-10-10","cited_by_count":155,"area":"lr"},{"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":"2404.14387","title":"A Survey on Self-Evolution of Large Language Models","created":"2024-04-22","cited_by_count":91,"area":null},{"id":"2411.19943","title":"Critical Tokens Matter: Token-Level Contrastive Estimation Enhances LLM's Reasoning Capability","created":"2024-11-29","cited_by_count":83,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2308.12488","title":"GPTEval: A Survey on Assessments of ChatGPT and GPT-4","created":"2023-08-24","cited_by_count":73,"area":null},{"id":"2408.03943","title":"Building Machines that Learn and Think with People","created":"2024-07-22","cited_by_count":73,"area":null},{"id":"2505.04481","title":"CAD-Llama: Leveraging Large Language Models for Computer-Aided Design Parametric 3D Model Generation","created":"2025-05-07","cited_by_count":67,"area":null},{"id":"2404.12534","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","created":"2024-04-18","cited_by_count":58,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2502.01839","title":"Sample, Scrutinize and Scale: Effective Inference-Time Search by Scaling Verification","created":"2025-02-03","cited_by_count":50,"area":"lr"},{"id":"2406.00755","title":"Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correction","created":"2024-06-02","cited_by_count":45,"area":"lr"},{"id":"2311.03755","title":"Multilingual Mathematical Autoformalization","created":"2023-11-07","cited_by_count":39,"area":null},{"id":"2502.08554","title":"Fostering Appropriate Reliance on Large Language Models: The Role of Explanations, Sources, and Inconsistencies","created":"2025-02-12","cited_by_count":39,"area":null},{"id":"2408.08313","title":"Can Large Language Models Understand Symbolic Graphics Programs?","created":"2024-08-15","cited_by_count":35,"area":null},{"id":"2504.07114","title":"ChatBench: From Static Benchmarks to Human-AI Evaluation","created":"2025-03-22","cited_by_count":34,"area":null},{"id":"2405.12130","title":"MoRA: High-Rank Updating for Parameter-Efficient Fine-Tuning","created":"2024-05-20","cited_by_count":31,"area":null},{"id":"2510.12787","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","created":"2025-10-14","cited_by_count":31,"area":"lr"},{"id":"2404.02806","title":"The RealHumanEval: Evaluating Large Language Models' Abilities to Support Programmers","created":"2024-04-03","cited_by_count":30,"area":null},{"id":"2405.10632","title":"Towards interactive evaluations for interaction harms in human-AI systems","created":"2024-05-17","cited_by_count":29,"area":null},{"id":"2502.20502","title":"On Benchmarking Human-Like Intelligence in Machines","created":"2025-02-27","cited_by_count":25,"area":null},{"id":"2505.16023","title":"Prototypical Human-AI Collaboration Behaviors from LLM-Assisted Writing in the Wild","created":"2025-05-21","cited_by_count":25,"area":null},{"id":"2504.05278","title":"The challenge of uncertainty quantification of large language models in medicine","created":"2025-04-07","cited_by_count":14,"area":null},{"id":"2407.12804","title":"Modulating Language Model Experiences through Frictions","created":"2024-06-24","cited_by_count":13,"area":null},{"id":"2501.13766","title":"UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models","created":"2025-01-23","cited_by_count":13,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2412.15184","title":"Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning","created":"2024-12-19","cited_by_count":11,"area":null},{"id":"2502.15620","title":"Paradigms of AI Evaluation: Mapping Goals, Methodologies and Culture","created":"2025-02-21","cited_by_count":11,"area":null},{"id":"2310.13021","title":"AI for Mathematics: A Cognitive Science Perspective","created":"2023-10-19","cited_by_count":10,"area":null},{"id":"2409.15454","title":"In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models","created":"2024-09-23","cited_by_count":8,"area":"lr"},{"id":"2312.04556","title":"Large Language Models for Mathematicians","created":"2023-12-07","cited_by_count":7,"area":null},{"id":"2501.15000","title":"MDEval: Evaluating and Enhancing Markdown Awareness in Large Language Models","created":"2025-01-25","cited_by_count":7,"area":null},{"id":"2409.16376","title":"Beyond Text-to-Text: An Overview of Multimodal and Generative Artificial Intelligence for Education Using Topic Modeling","created":"2024-09-24","cited_by_count":6,"area":null},{"id":"2503.17482","title":"What's Producible May Not Be Reachable: Measuring the Steerability of Generative Models","created":"2025-03-21","cited_by_count":6,"area":null},{"id":"2310.01297","title":"Co-audit: tools to help humans double-check AI-generated content","created":"2023-10-02","cited_by_count":5,"area":null},{"id":"2409.08406","title":"Knowledge Tagging with Large Language Model based Multi-Agent System","created":"2024-09-12","cited_by_count":5,"area":"agents"},{"id":"2505.19145","title":"Do Large Language Models (Really) Need Statistical Foundations?","created":"2025-05-25","cited_by_count":5,"area":null},{"id":"2506.11003","title":"EmbedAgent: Benchmarking Large Language Models in Embedded System Development","created":"2025-04-19","cited_by_count":5,"area":null},{"id":"2502.07190","title":"Understanding LLMs' Fluid Intelligence Deficiency: An Analysis of the ARC Task","created":"2025-02-11","cited_by_count":4,"area":null},{"id":"2403.05334","title":"WatChat: Explaining perplexing programs by debugging mental models","created":"2024-03-08","cited_by_count":3,"area":null},{"id":"2411.15243","title":"Bio-inspired AI: Integrating Biological Complexity into Artificial Intelligence","created":"2024-11-22","cited_by_count":3,"area":null},{"id":"2504.02780","title":"From Consumption to Collaboration: Measuring Interaction Patterns to Augment Human Cognition in Open-Ended Tasks","created":"2025-04-03","cited_by_count":3,"area":null},{"id":"2505.16899","title":"Identifying, Evaluating, and Mitigating Risks of AI Thought Partnerships","created":"2025-05-22","cited_by_count":3,"area":null},{"id":"2605.10379","title":"Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness","created":"2026-05-11","cited_by_count":3,"area":null},{"id":"2310.01448","title":"Meta Semantic Template for Evaluation of Large Language Models","created":"2023-10-01","cited_by_count":2,"area":null},{"id":"2310.16411","title":"Decoding Stumpers: Large Language Models vs. Human Problem-Solvers","created":"2023-10-25","cited_by_count":2,"area":null},{"id":"2408.06598","title":"A Perspective on Large Language Models, Intelligent Machines, and Knowledge Acquisition","created":"2024-08-13","cited_by_count":2,"area":null},{"id":"2501.10476","title":"Revisiting Rogers' Paradox in the Context of Human-AI Interaction","created":"2025-01-16","cited_by_count":2,"area":null},{"id":"2412.11908","title":"Can Language Models Rival Mathematics Students? Evaluating Mathematical Reasoning through Textual Manipulation and Human Experiments","created":"2024-12-16","cited_by_count":1,"area":"lr"},{"id":"2511.19055","title":"Large Language Model-Assisted Planning of Electric Vehicle Charging Infrastructure with Real-World Case Study","created":"2025-11-24","cited_by_count":1,"area":null},{"id":"2604.14188","title":"Grading the Unspoken: Evaluating Tacit Reasoning in Quantum Field Theory and String Theory with LLMs","created":"2026-04-01","cited_by_count":1,"area":"lr"},{"id":"2605.05767","title":"Priming, Path-dependence, and Plasticity: Understanding the molding of user-LLM interaction and its implications from (many) chat logs in the wild","created":"2026-05-07","cited_by_count":1,"area":null},{"id":"2608.03206","title":"EduClaw-Bench: A Long-Horizon Benchmark for Pedagogical LLM Agents with Simulated Learners","created":"2026-08-04","cited_by_count":1,"area":"agents"},{"id":"2608.17150","title":"KnowSim: Evaluating Information Calibration in LLM Assistants with User Simulators that Learn","created":"2026-08-17","cited_by_count":1,"area":null},{"id":"2608.18554","title":"CentaurBench: Benchmarking LLM Capabilities on Augmenting vs. Automating Real-World Work Tasks","created":"2026-08-19","cited_by_count":1,"area":null},{"id":"2401.17692","title":"Mitigating the Influence of Distractor Tasks in LMs with Prior-Aware Decoding","created":"2024-01-31","cited_by_count":0,"area":null},{"id":"2505.19237","title":"Sensorimotor Self-Recognition in Multimodal Large Language Model-Driven Robots","created":"2025-05-25","cited_by_count":0,"area":"mllm"},{"id":"2508.07872","title":"Unequal Uncertainty: Rethinking Algorithmic Interventions for Mitigating Discrimination from AI","created":"2025-08-11","cited_by_count":0,"area":null},{"id":"2601.12053","title":"A New Strategy for Artificial Intelligence: Training Foundation Models Directly on Human Brain Data","created":"2026-01-17","cited_by_count":0,"area":"deeprl"},{"id":"2603.13294","title":"Real-World AI Evaluation: How FRAME Generates Systematic Evidence to Resolve the Decision-Maker's Dilemma","created":"2026-02-28","cited_by_count":0,"area":null},{"id":"2604.16304","title":"Results-Actionability Gap: Understanding How Practitioners Evaluate LLM Products in the Wild","created":"2026-01-25","cited_by_count":0,"area":null},{"id":"2606.23821","title":"Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems","created":"2026-06-22","cited_by_count":0,"area":null},{"id":"2609.14533","title":"Proving olympiad geometry theorems on a superconducting quantum processor","created":"2026-09-13","cited_by_count":0,"area":null}],"next_cursor":null}