{"total":84,"rows":[{"id":"2508.03613","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","created":"2025-08-05","cited_by_count":154,"area":"synth"},{"id":"2407.11511","title":"Multi-Step Reasoning with Large Language Models, a Survey","created":"2024-07-16","cited_by_count":143,"area":"lr"},{"id":"2503.23037","title":"Agentic Large Language Models, a survey","created":"2025-03-29","cited_by_count":108,"area":"agents"},{"id":"2505.18705","title":"AI-Researcher: Autonomous Scientific Innovation","created":"2025-05-24","cited_by_count":100,"area":"lr"},{"id":"2602.04942","title":"Privileged Information Distillation for Language Models","created":"2026-02-04","cited_by_count":90,"area":"distill"},{"id":"2502.13124","title":"NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questions","created":"2025-02-18","cited_by_count":84,"area":"lr"},{"id":"2503.09501","title":"ReMA: Learning to Meta-think for LLMs with Multi-Agent Reinforcement Learning","created":"2025-03-12","cited_by_count":79,"area":"lr"},{"id":"2604.12002","title":"Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision","created":"2026-04-13","cited_by_count":68,"area":"distill"},{"id":"2506.08446","title":"A Survey on Large Language Models for Mathematical Reasoning","created":"2025-06-10","cited_by_count":52,"area":"lr"},{"id":"2505.20161","title":"Prismatic Synthesis: Gradient-based Data Diversification Boosts Generalization in LLM Reasoning","created":"2025-05-26","cited_by_count":40,"area":"lr"},{"id":"2407.21009","title":"AI-Assisted Generation of Difficult Math Questions","created":"2024-07-30","cited_by_count":37,"area":"lr"},{"id":"2410.17885","title":"Theorem-Validated Reverse Chain-of-Thought Problem Generation for Geometric Reasoning","created":"2024-10-23","cited_by_count":32,"area":"lr"},{"id":"2506.04689","title":"Recycling the Web: A Method to Enhance Pre-training Data Quality and Quantity for Language Models","created":"2025-06-05","cited_by_count":31,"area":null},{"id":"2410.06215","title":"DataEnvGym: Data Generation Agents in Teacher Environments with Student Feedback","created":"2024-10-08","cited_by_count":25,"area":"agents"},{"id":"2506.05068","title":"Does It Make Sense to Speak of Introspection in Large Language Models?","created":"2025-06-05","cited_by_count":25,"area":null},{"id":"2410.18693","title":"Unleashing LLM Reasoning Capability via Scalable Question Synthesis from Scratch","created":"2024-10-24","cited_by_count":24,"area":"lr"},{"id":"2504.14045","title":"Metacognition and Uncertainty Communication in Humans and Large Language Models","created":"2025-04-18","cited_by_count":23,"area":null},{"id":"2504.17119","title":"The Rise of Small Language Models in Healthcare: A Comprehensive Survey","created":"2025-04-23","cited_by_count":18,"area":null},{"id":"2410.21287","title":"A Systematic Assessment of OpenAI o1-Preview for Higher Order Thinking in Education","created":"2024-10-11","cited_by_count":16,"area":"lr"},{"id":"2506.05109","title":"Truly Self-Improving Agents Require Intrinsic Metacognitive Learning","created":"2025-06-05","cited_by_count":15,"area":"synth"},{"id":"2411.02478","title":"Imagining and building wise machines: The centrality of AI metacognition","created":"2024-11-04","cited_by_count":12,"area":null},{"id":"2410.01727","title":"Automated Knowledge Concept Annotation and Question Representation Learning for Knowledge Tracing","created":"2024-10-02","cited_by_count":11,"area":null},{"id":"2507.20527","title":"SAND-Math: Using LLMs to Generate Novel, Difficult and Useful Mathematics Questions and Answers","created":"2025-07-28","cited_by_count":11,"area":"lr"},{"id":"2410.13826","title":"Unearthing Skill-Level Insights for Understanding Trade-Offs of Foundation Models","created":"2024-10-17","cited_by_count":9,"area":null},{"id":"2505.10185","title":"The CoT Encyclopedia: Analyzing, Predicting, and Controlling how a Reasoning Model will Think","created":"2025-05-15","cited_by_count":9,"area":"lr"},{"id":"2507.01599","title":"Data Agent: A Holistic Architecture for Orchestrating Data+AI Ecosystems","created":"2025-07-02","cited_by_count":9,"area":"agents"},{"id":"2510.05414","title":"A Lightweight Large Language Model-Based Multi-Agent System for 2D Frame Structural Analysis","created":"2025-10-06","cited_by_count":9,"area":"agents"},{"id":"2601.04436","title":"Learning to Simulate Human Dialogue","created":"2026-01-07","cited_by_count":9,"area":null},{"id":"2407.08642","title":"Towards Building Specialized Generalist AI with System 1 and System 2 Fusion","created":"2024-07-11","cited_by_count":8,"area":null},{"id":"2501.06314","title":"BioAgents: Democratizing Bioinformatics Analysis with Multi-Agent Systems","created":"2025-01-10","cited_by_count":8,"area":"agents"},{"id":"2504.20084","title":"AI Awareness","created":"2025-04-25","cited_by_count":7,"area":null},{"id":"2506.00309","title":"Evaluation of LLMs for mathematical problem solving","created":"2025-05-30","cited_by_count":7,"area":null},{"id":"2505.19426","title":"The Role of Diversity in In-Context Learning for Large Language Models","created":"2025-05-26","cited_by_count":6,"area":null},{"id":"2508.00719","title":"DAMR: Efficient and Adaptive Context-Aware Knowledge Graph Question Answering with LLM-Guided MCTS","created":"2025-08-01","cited_by_count":6,"area":null},{"id":"2510.10023","title":"Skill-Targeted Adaptive Training","created":"2025-10-11","cited_by_count":6,"area":null},{"id":"2510.15963","title":"ESCA: Contextualizing Embodied Agents via Scene-Graph Generation","created":"2025-10-11","cited_by_count":6,"area":"mllm"},{"id":"2605.13414","title":"TRIAGE: Evaluating Prospective Metacognitive Control in LLMs under Resource Constraints","created":"2026-05-13","cited_by_count":6,"area":null},{"id":"2405.19973","title":"A Triumvirate of AI Driven Theoretical Discovery","created":"2024-05-30","cited_by_count":5,"area":null},{"id":"2407.04212","title":"Smart Vision-Language Reasoners","created":"2024-07-05","cited_by_count":5,"area":"lr"},{"id":"2504.14775","title":"gLLM: Global Balanced Pipeline Parallelism System for Distributed LLM Serving with Token Throttling","created":"2025-04-21","cited_by_count":5,"area":"inference"},{"id":"2505.00147","title":"AdaptMI: Adaptive Skill-based In-context Math Instruction for Small Language Models","created":"2025-04-30","cited_by_count":5,"area":null},{"id":"2410.15701","title":"When LLMs Learn to be Students: The SOEI Framework for Modeling and Evaluating Virtual Student Agents in Educational Interaction","created":"2024-10-21","cited_by_count":4,"area":"agents"},{"id":"2502.03325","title":"Electronic Circuit Principles of Large Language Models","created":"2025-02-05","cited_by_count":4,"area":"lr"},{"id":"2503.16905","title":"MAPS: Multi-Agent Personality Shaping for Collaborative Reasoning","created":"2025-03-21","cited_by_count":4,"area":"lr"},{"id":"2507.11060","title":"Personalized Exercise Recommendation with Semantically-Grounded Knowledge Tracing","created":"2025-07-15","cited_by_count":4,"area":"deeprl"},{"id":"2511.04341","title":"Monitor-Generate-Verify (MGV): Formalising Metacognitive Theory for Language Model Reasoning","created":"2025-11-06","cited_by_count":4,"area":"lr"},{"id":"2605.04970","title":"Skill Neologisms: Towards Skill-based Continual Learning","created":"2026-05-06","cited_by_count":4,"area":null},{"id":"2408.03631","title":"Large Language Model as a Catalyst: A Paradigm Shift in Base Station Siting Optimization","created":"2024-08-07","cited_by_count":3,"area":null},{"id":"2501.15797","title":"LemmaHead: RAG Assisted Proof Generation Using Large Language Models","created":"2025-01-27","cited_by_count":3,"area":null},{"id":"2504.20946","title":"Trace-of-Thought Prompting: Investigating Prompt-Based Knowledge Distillation Through Question Decomposition","created":"2025-04-29","cited_by_count":3,"area":"lr"},{"id":"2510.04116","title":"Searching Meta Reasoning Skeleton to Guide LLM Reasoning","created":"2025-10-05","cited_by_count":3,"area":"lr"},{"id":"2510.16374","title":"Before you <think>, monitor: Implementing Flavell's metacognitive framework in LLMs","created":"2025-10-18","cited_by_count":3,"area":"lr"},{"id":"2602.12996","title":"Know More, Know Clearer: A Meta-Cognitive Framework for Knowledge Augmentation in Large Language Models","created":"2026-02-13","cited_by_count":3,"area":null},{"id":"2503.13467","title":"How Metacognitive Architectures Remember Their Own Thoughts: A Systematic Review","created":"2025-02-28","cited_by_count":2,"area":null},{"id":"2505.20120","title":"Agents Require Metacognitive and Strategic Reasoning to Succeed in the Coming Labor Markets","created":"2025-05-26","cited_by_count":2,"area":null},{"id":"2508.16514","title":"FLAMES: Improving LLM Math Reasoning via a Fine-Grained Analysis of the Data Synthesis Pipeline","created":"2025-08-22","cited_by_count":2,"area":"lr"},{"id":"2512.07665","title":"Reliable agent engineering should integrate machine-compatible organizational principles","created":"2025-12-08","cited_by_count":2,"area":"agents"},{"id":"2602.02605","title":"Fine-Tuning Language Models to Know What They Know","created":"2026-02-02","cited_by_count":2,"area":null},{"id":"2603.01211","title":"A Unified Framework to Quantify Cultural Intelligence of AI","created":"2026-03-01","cited_by_count":2,"area":null},{"id":"2605.14186","title":"LLMs Know When They Know, but Do Not Act on It: A Metacognitive Harness for Test-time Scaling","created":"2026-05-13","cited_by_count":2,"area":"lr"},{"id":"2608.19993","title":"Optimal Skill Selection for LLM Agents with Provable Bicriteria Guarantees","created":"2026-08-20","cited_by_count":2,"area":"agents"},{"id":"2412.02579","title":"Factored space models: Towards causality between levels of abstraction","created":"2024-12-03","cited_by_count":1,"area":null},{"id":"2504.00843","title":"Benchmarking Large Language Models for Diagnosing Students' Cognitive Skills from Handwritten Math Work","created":"2025-04-01","cited_by_count":1,"area":null},{"id":"2602.00034","title":"Synthetic Student Responses: LLM-Extracted Features for IRT Difficulty Parameter Estimation","created":"2026-01-18","cited_by_count":1,"area":null},{"id":"2605.03255","title":"Do LLMs have core beliefs?","created":"2026-05-05","cited_by_count":1,"area":null},{"id":"2605.09292","title":"Beyond Accuracy: Evaluating Strategy Diversity in LLM Mathematical Reasoning","created":"2026-05-10","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.11881","title":"Metacognition in LLMs: Foundations, Progress, and Opportunities","created":"2026-07-13","cited_by_count":1,"area":null},{"id":"2506.18213","title":"A Conceptual Framework for AI Capability Evaluations","created":"2025-06-23","cited_by_count":0,"area":null},{"id":"2508.18192","title":"Unraveling the cognitive patterns of Large Language Models through module communities","created":"2025-08-25","cited_by_count":0,"area":null},{"id":"2512.04988","title":"When AI Agents Compete for Jobs: Strategic Capabilities and Economic Dynamics of AI Labour Markets","created":"2025-12-04","cited_by_count":0,"area":"agents"},{"id":"2512.20638","title":"Uncovering Competency Gaps in Large Language Models and Their Benchmarks","created":"2025-12-06","cited_by_count":0,"area":null},{"id":"2602.22508","title":"Metacognitive Behavioral Tuning of Large Language Models for Multi-Hop Question Answering","created":"2026-02-26","cited_by_count":0,"area":"lr"},{"id":"2603.24073","title":"ConceptKT: A Benchmark for Concept-Level Deficiency Prediction in Knowledge Tracing","created":"2026-03-25","cited_by_count":0,"area":null},{"id":"2604.22951","title":"The Power of Power Law: Asymmetry Enables Compositional Reasoning","created":"2026-04-24","cited_by_count":0,"area":null},{"id":"2605.02010","title":"Reliable AI Needs to Externalize Implicit Knowledge: A Human-AI Collaboration Perspective","created":"2026-05-03","cited_by_count":0,"area":null},{"id":"2605.15567","title":"Position: Artificial Intelligence Needs Meta Intelligence -- the Case for Metacognitive AI","created":"2026-05-15","cited_by_count":0,"area":null},{"id":"2607.21306","title":"AI Assistants Overassist","created":"2026-07-23","cited_by_count":0,"area":null},{"id":"2608.20569","title":"Open-Weight Masked Introspection: Measuring What Language Models Can Report About Their Own Computation","created":"2026-08-20","cited_by_count":0,"area":null},{"id":"2608.27455","title":"CritICL: Inference-Time Weak-to-Strong Generalization from Small Language Model Failure Modes","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.31076","title":"Up and Down the Abstraction Ladder: Code-Based Skills for Language Agents","created":"2026-09-25","cited_by_count":0,"area":"agents"},{"id":"2610.00331","title":"Mathematical Transfer in LLMs Follows Reasoning Approach More Than Topic","created":"2026-09-29","cited_by_count":0,"area":"lr"},{"id":"2610.02839","title":"To Explore The Strange New World Beyond Data Distribution: System Behavior, Causality Tax, and Non-causal Base Model","created":"2026-10-02","cited_by_count":0,"area":null},{"id":"2610.06516","title":"Test-Time Adaptation of Reasoning Strategies with Bayesian Nonparametric Memory","created":"2026-10-05","cited_by_count":0,"area":"lr"}],"next_cursor":null}