{"total":132,"rows":[{"id":"2109.10862","title":"Recursively Summarizing Books with Human Feedback","created":"2021-09-22","cited_by_count":290,"area":null},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"area":null},{"id":"2511.16624","title":"SAM 3D: 3Dfy Anything in Images","created":"2025-11-20","cited_by_count":247,"area":null},{"id":"2410.01679","title":"VinePPO: Refining Credit Assignment in RL Training of LLMs","created":"2024-10-02","cited_by_count":183,"area":null},{"id":"2406.10162","title":"Sycophancy to Subterfuge: Investigating Reward-Tampering in Large Language Models","created":"2024-06-14","cited_by_count":178,"area":null},{"id":"2103.04931","title":"Monte Carlo Tree Search: A Review of Recent Modifications and Applications","created":"2021-03-08","cited_by_count":161,"area":null},{"id":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133,"area":null},{"id":"2406.03847","title":"Lean Workbook: A large-scale Lean problem set formalized from natural language math problems","created":"2024-06-06","cited_by_count":122,"area":null},{"id":"2403.19154","title":"STaR-GATE: Teaching Language Models to Ask Clarifying Questions","created":"2024-03-28","cited_by_count":104,"area":null},{"id":"2502.03438","title":"BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving","created":"2025-02-05","cited_by_count":84,"area":null},{"id":"2306.00245","title":"From Pixels to UI Actions: Learning to Follow Instructions via Graphical User Interfaces","created":"2023-05-31","cited_by_count":68,"area":null},{"id":"2104.03113","title":"Scaling Scaling Laws with Board Games","created":"2021-04-07","cited_by_count":63,"area":null},{"id":"2205.03195","title":"Symphony: Learning Realistic and Diverse Agents for Autonomous Driving Simulation","created":"2022-05-06","cited_by_count":61,"area":null},{"id":"2510.01346","title":"Aristotle: IMO-level Automated Theorem Proving","created":"2025-10-01","cited_by_count":58,"area":null},{"id":"2303.17503","title":"Pgx: Hardware-Accelerated Parallel Game Simulators for Reinforcement Learning","created":"2023-03-29","cited_by_count":51,"area":null},{"id":"2106.04615","title":"Vector Quantized Models for Planning","created":"2021-06-08","cited_by_count":48,"area":null},{"id":"2311.04235","title":"Can LLMs Follow Simple Rules?","created":"2023-11-06","cited_by_count":46,"area":null},{"id":"2405.19550","title":"Stress-Testing Capability Elicitation With Password-Locked Models","created":"2024-05-29","cited_by_count":46,"area":null},{"id":"2406.15079","title":"GOAL: A Generalist Combinatorial Optimization Agent Learner","created":"2024-06-21","cited_by_count":42,"area":null},{"id":"2302.11223","title":"Deep Generative Symbolic Regression with Monte-Carlo-Tree-Search","created":"2023-02-22","cited_by_count":41,"area":null},{"id":"2110.15245","title":"From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence","created":"2021-10-28","cited_by_count":35,"area":null},{"id":"2407.14414","title":"System-1.x: Learning to Balance Fast and Slow Planning with Language Models","created":"2024-07-19","cited_by_count":35,"area":null},{"id":"2410.15700","title":"InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search","created":"2024-10-21","cited_by_count":34,"area":null},{"id":"2406.05374","title":"Planning Like Human: A Dual-process Framework for Dialogue Planning","created":"2024-06-08","cited_by_count":32,"area":null},{"id":"2207.06272","title":"Hindsight Learning for MDPs with Exogenous Inputs","created":"2022-07-13","cited_by_count":26,"area":null},{"id":"2111.02508","title":"AlphaD3M: Machine Learning Pipeline Synthesis","created":"2021-11-03","cited_by_count":24,"area":null},{"id":"2405.13551","title":"Large Language Models are Effective Priors for Causal Graph Discovery","created":"2024-05-22","cited_by_count":24,"area":null},{"id":"2106.04880","title":"Self-Improved Retrosynthetic Planning","created":"2021-06-09","cited_by_count":23,"area":null},{"id":"2509.21016","title":"RL Grokking Recipe: How Does RL Unlock and Transfer New Algorithms in LLMs?","created":"2025-09-25","cited_by_count":23,"area":null},{"id":"2109.15316","title":"Scalable Online Planning via Reinforcement Learning Fine-Tuning","created":"2021-09-30","cited_by_count":18,"area":null},{"id":"2201.01441","title":"Balsa: Learning a Query Optimizer Without Expert Demonstrations","created":"2022-01-05","cited_by_count":18,"area":null},{"id":"2203.10452","title":"CrossBeam: Learning to Search in Bottom-Up Program Synthesis","created":"2022-03-20","cited_by_count":18,"area":null},{"id":"2206.08304","title":"Adversarial Patch Attacks and Defences in Vision-Based Tasks: A Survey","created":"2022-06-16","cited_by_count":17,"area":null},{"id":"2303.08060","title":"Beyond Games: A Systematic Review of Neural Monte Carlo Tree Search Applications","created":"2023-03-14","cited_by_count":16,"area":null},{"id":"2503.18871","title":"Bootstrapped Model Predictive Control","created":"2025-03-24","cited_by_count":16,"area":null},{"id":"2512.19027","title":"Recontextualization Mitigates Specification Gaming without Modifying the Specification","created":"2025-12-22","cited_by_count":14,"area":null},{"id":"2107.08241","title":"High-Accuracy Model-Based Reinforcement Learning, a Survey","created":"2021-07-17","cited_by_count":13,"area":null},{"id":"2110.08381","title":"On The Ingredients of an Effective Zero-shot Semantic Parser","created":"2021-10-15","cited_by_count":13,"area":null},{"id":"2404.05449","title":"RoT: Enhancing Large Language Models with Reflection on Search Trees","created":"2024-04-08","cited_by_count":12,"area":null},{"id":"2110.01834","title":"Thinking Fast and Slow in AI: the Role of Metacognition","created":"2021-10-05","cited_by_count":11,"area":null},{"id":"2102.12924","title":"Visualizing MuZero Models","created":"2021-02-25","cited_by_count":9,"area":null},{"id":"2306.08057","title":"Symbolic Regression via Control Variable Genetic Programming","created":"2023-05-25","cited_by_count":9,"area":null},{"id":"2405.11778","title":"Efficient Multi-agent Reinforcement Learning by Planning","created":"2024-05-20","cited_by_count":9,"area":null},{"id":"2608.13331","title":"Training AI Scientists to Replicate Research","created":"2026-08-13","cited_by_count":9,"area":null},{"id":"2103.02649","title":"Self-play Learning Strategies for Resource Assignment in Open-RAN Networks","created":"2021-03-03","cited_by_count":8,"area":null},{"id":"2104.02863","title":"The Value of Planning for Infinite-Horizon Model Predictive Control","created":"2021-04-07","cited_by_count":8,"area":null},{"id":"2105.14706","title":"The Role of Entropy in Guiding a Connection Prover","created":"2021-05-31","cited_by_count":8,"area":null},{"id":"2201.12320","title":"Generative Cooperative Networks for Natural Language Generation","created":"2022-01-28","cited_by_count":8,"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":"2504.13178","title":"Aligning Constraint Generation with Design Intent in Parametric CAD","created":"2025-04-17","cited_by_count":8,"area":null},{"id":"2605.20270","title":"Conformal Selective Acting: Anytime-Valid Risk Control for RLVR-Trained LLMs","created":"2026-05-18","cited_by_count":8,"area":null},{"id":"2306.00840","title":"What model does MuZero learn?","created":"2023-06-01","cited_by_count":7,"area":null},{"id":"2102.12375","title":"Transfer of Fully Convolutional Policy-Value Networks Between Games and Game Variants","created":"2021-02-24","cited_by_count":6,"area":null},{"id":"2301.09159","title":"Abstracting Imperfect Information Away from Two-Player Zero-Sum Games","created":"2023-01-22","cited_by_count":6,"area":null},{"id":"2403.13780","title":"Information-Theoretic Distillation for Reference-less Summarization","created":"2024-03-20","cited_by_count":6,"area":null},{"id":"2405.13022","title":"LLMs can learn self-restraint through iterative self-reflection","created":"2024-05-15","cited_by_count":6,"area":null},{"id":"2410.09580","title":"SAPIENT: Mastering Multi-turn Conversational Recommendation with Strategic Planning and Monte Carlo Tree Search","created":"2024-10-12","cited_by_count":6,"area":null},{"id":"2411.01667","title":"GraphXForm: Graph transformer for computer-aided molecular design","created":"2024-11-03","cited_by_count":6,"area":null},{"id":"2605.12484","title":"Learning, Fast and Slow: Towards LLMs That Adapt Continually","created":"2026-05-12","cited_by_count":6,"area":null},{"id":"2101.04788","title":"Scalable Anytime Planning for Multi-Agent MDPs","created":"2021-01-12","cited_by_count":5,"area":null},{"id":"2106.06768","title":"Planning Spatial Networks with Monte Carlo Tree Search","created":"2021-06-12","cited_by_count":5,"area":null},{"id":"2211.15068","title":"Learning to design without prior data: Discovering generalizable design strategies using deep learning and tree search","created":"2022-11-28","cited_by_count":5,"area":null},{"id":"2211.15414","title":"Dynamic Collaborative Multi-Agent Reinforcement Learning Communication for Autonomous Drone Reforestation","created":"2022-11-14","cited_by_count":5,"area":null},{"id":"2402.07963","title":"SPO: Sequential Monte Carlo Policy Optimisation","created":"2024-02-12","cited_by_count":5,"area":null},{"id":"2504.05321","title":"VALUE: Value-Aware Large Language Model for Query Rewriting via Weighted Trie in Sponsored Search","created":"2025-02-25","cited_by_count":5,"area":null},{"id":"2505.09027","title":"Tests as Prompt: A Test-Driven-Development Benchmark for LLM Code Generation","created":"2025-05-13","cited_by_count":5,"area":null},{"id":"2110.03760","title":"Design Strategy Network: A deep hierarchical framework to represent generative design strategies in complex action spaces","created":"2021-10-07","cited_by_count":4,"area":null},{"id":"2206.01812","title":"Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks","created":"2022-06-03","cited_by_count":4,"area":null},{"id":"2210.01426","title":"Continuous Monte Carlo Graph Search","created":"2022-10-04","cited_by_count":4,"area":null},{"id":"2311.15564","title":"Boot and Switch: Alternating Distillation for Zero-Shot Dense Retrieval","created":"2023-11-27","cited_by_count":4,"area":null},{"id":"2312.03881","title":"FoMo Rewards: Can we cast foundation models as reward functions?","created":"2023-12-06","cited_by_count":4,"area":null},{"id":"2505.17795","title":"DialogXpert: Driving Intelligent and Emotion-Aware Conversations through Online Value-Based Reinforcement Learning with LLM Priors","created":"2025-05-23","cited_by_count":4,"area":null},{"id":"2505.19768","title":"T^2Agent A Tool-augmented Multimodal Misinformation Detection Agent with Monte Carlo Tree Search","created":"2025-05-26","cited_by_count":4,"area":null},{"id":"2102.03467","title":"Improving Model and Search for Computer Go","created":"2021-02-06","cited_by_count":3,"area":null},{"id":"2106.11345","title":"Cogment: Open Source Framework For Distributed Multi-actor Training, Deployment & Operations","created":"2021-06-21","cited_by_count":3,"area":null},{"id":"2201.06401","title":"Spatial State-Action Features for General Games","created":"2022-01-17","cited_by_count":3,"area":null},{"id":"2204.11350","title":"Collaborative Auto-Curricula Multi-Agent Reinforcement Learning with Graph Neural Network Communication Layer for Open-ended Wildfire-Management Resource Distribution","created":"2022-04-24","cited_by_count":3,"area":null},{"id":"2301.13758","title":"Learning, Fast and Slow: A Goal-Directed Memory-Based Approach for Dynamic Environments","created":"2023-01-31","cited_by_count":3,"area":null},{"id":"2304.13138","title":"The Update-Equivalence Framework for Decision-Time Planning","created":"2023-04-25","cited_by_count":3,"area":null},{"id":"2310.13576","title":"Tree Search in DAG Space with Model-based Reinforcement Learning for Causal Discovery","created":"2023-10-20","cited_by_count":3,"area":null},{"id":"2404.09877","title":"Synergising Human-like Responses and Machine Intelligence for Planning in Disaster Response","created":"2024-04-15","cited_by_count":3,"area":null},{"id":"2602.03309","title":"Entropy-Gated Selective Policy Optimization:Token-Level Gradient Allocation for Hybrid Training of Large Language Models","created":"2026-02-03","cited_by_count":3,"area":null},{"id":"2101.04167","title":"First-Order Problem Solving through Neural MCTS based Reinforcement Learning","created":"2021-01-11","cited_by_count":2,"area":null},{"id":"2102.06274","title":"Hedging of Financial Derivative Contracts via Monte Carlo Tree Search","created":"2021-02-11","cited_by_count":2,"area":null},{"id":"2110.03223","title":"Goal-Directed Design Agents: Integrating Visual Imitation with One-Step Lookahead Optimization for Generative Design","created":"2021-10-07","cited_by_count":2,"area":null},{"id":"2202.01461","title":"ExPoSe: Combining State-Based Exploration with Gradient-Based Online Search","created":"2022-02-03","cited_by_count":2,"area":null},{"id":"2206.00113","title":"BRExIt: On Opponent Modelling in Expert Iteration","created":"2022-05-31","cited_by_count":2,"area":null},{"id":"2206.01011","title":"Policy Gradient Algorithms with Monte Carlo Tree Learning for Non-Markov Decision Processes","created":"2022-06-02","cited_by_count":2,"area":null},{"id":"2206.06618","title":"Solving the capacitated vehicle routing problem with timing windows using rollouts and MAX-SAT","created":"2022-06-14","cited_by_count":2,"area":null},{"id":"2207.07656","title":"FLOWGEN: Fast and slow graph generation","created":"2022-07-15","cited_by_count":2,"area":null},{"id":"2209.05206","title":"A Differentiable Loss Function for Learning Heuristics in A*","created":"2022-09-12","cited_by_count":2,"area":null},{"id":"2503.09730","title":"Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving","created":"2025-03-12","cited_by_count":2,"area":null},{"id":"2602.10699","title":"Spend Search Where It Pays: Value-Guided Structured Sampling and Optimization for Generative Recommendation","created":"2026-02-11","cited_by_count":2,"area":null},{"id":"2605.07076","title":"Self-Consolidating Language Models: Continual Knowledge Incorporation from Context","created":"2026-05-08","cited_by_count":2,"area":null},{"id":"2212.06001","title":"Reinforcement Learning and Tree Search Methods for the Unit Commitment Problem","created":"2022-12-12","cited_by_count":1,"area":null},{"id":"2212.11353","title":"Contrastive Distillation Is a Sample-Efficient Self-Supervised Loss Policy for Transfer Learning","created":"2022-12-21","cited_by_count":1,"area":null},{"id":"2310.01569","title":"Iterative Option Discovery for Planning, by Planning","created":"2023-10-02","cited_by_count":1,"area":null},{"id":"2312.11768","title":"Curriculum Learning for Cooperation in Multi-Agent Reinforcement Learning","created":"2023-12-19","cited_by_count":1,"area":null},{"id":"2312.11955","title":"Vertical Symbolic Regression","created":"2023-12-19","cited_by_count":1,"area":null},{"id":"2402.03136","title":"Mastering Zero-Shot Interactions in Cooperative and Competitive Simultaneous Games","created":"2024-02-05","cited_by_count":1,"area":null}],"next_cursor":"100"}