Image de couverture de livre

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	George, Robert Joseph, Huang, Suozhi, Song, Peiyang, Anandkumar, Anima
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence I.2.6; I.2.8
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AI and Machine Learning Approaches for Predicting Nanoparticles Toxicity The Critical Role of Physiochemical Properties
par: Yousaf, Iqra
Publié: (2024)

Selective Progress-Aware Querying for Human-in-the-Loop Reinforcement Learning
par: Muraleedharan, Anujith, et autres
Publié: (2025)

The ARC of Progress towards AGI: A Living Survey of Abstraction and Reasoning
par: Vahdati, Sahar, et autres
Publié: (2026)

Predicting and improving test-time scaling laws via reward tail-guided search
par: Li, Muheng, et autres
Publié: (2026)

From Next Token Prediction to (STRIPS) World Models
par: Núñez-Molina, Carlos, et autres
Publié: (2025)

Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
par: Aichmüller, Michael, et autres
Publié: (2024)

Zero-Shot Context Generalization in Reinforcement Learning from Few Training Contexts
par: Chapman, James, et autres
Publié: (2025)

From Cumulative Constraints to Adaptive Runtime Safety Control for Nonstationary Reinforcement Learning
par: Tomashevskiy, Timofey
Publié: (2026)

FlowRL: Flow-Augmented Few-Shot Reinforcement Learning for Semi-Structured Sensor Data
par: Pivezhandi, Mohammad, et autres
Publié: (2024)

A Parallel Hybrid Action Space Reinforcement Learning Model for Real-world Adaptive Traffic Signal Control
par: Wang, Yuxuan, et autres
Publié: (2025)

NeSIG: A Neuro-Symbolic Method for Learning to Generate Planning Problems
par: Núñez-Molina, Carlos, et autres
Publié: (2023)

Constrained Auto-Bidding via Generative Response Modeling
par: Yang, Eunseok, et autres
Publié: (2026)

Fractional Policy Gradients: Reinforcement Learning with Long-Term Memory
par: Pawar, Urvi, et autres
Publié: (2025)

Learning to Select Goals in Automated Planning with Deep-Q Learning
par: Núñez-Molina, Carlos, et autres
Publié: (2024)

Predicting Future Actions of Reinforcement Learning Agents
par: Chung, Stephen, et autres
Publié: (2024)

Adaptable Hindsight Experience Replay for Search-Based Learning
par: Vazaios, Alexandros, et autres
Publié: (2025)

Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
par: Zawalski, Michał, et autres
Publié: (2022)

Foundational Requirements for Artificial General Intelligence: A Falsifiable Framework Based on Signal Prediction
par: Šprogar, Matej
Publié: (2025)

Bilinear Mamba-Koopman Neural MPC for Varying Dynamics
par: Pagi, Matan, et autres
Publié: (2026)

Actor-Critic Model Predictive Control: Differentiable Optimization meets Reinforcement Learning for Agile Flight
par: Romero, Angel, et autres
Publié: (2023)

Score-informed Neural Operator for Enhancing Ordering-based Causal Discovery
par: Kang, Jiyeon, et autres
Publié: (2025)

Differentiable Symbolic Planning: A Neural Architecture for Constraint Reasoning with Learned Feasibility
par: Oruganti, Venkatakrishna Reddy
Publié: (2026)

The Final-Stage Bottleneck: A Systematic Dissection of the R-Learner for Network Causal Inference
par: Sairam, S, et autres
Publié: (2025)

Machine Learning Based Path Planning for Improved Rover Navigation (Pre-Print Version)
par: Abcouwer, Neil, et autres
Publié: (2020)

SCULPT: Constraint-Guided Pruned MCTS that Carves Efficient Paths for Mathematical Reasoning
par: Fang, Qitong, et autres
Publié: (2026)

PIRS: Physics-Informed Reward Shaping for SAC-Based Building Energy Management
par: Zaregarizi, Shadmehr, et autres
Publié: (2026)

Are We Winning the Wrong Game? Revisiting Evaluation Practices for Long-Term Time Series Forecasting
par: Phungtua-eng, Thanapol, et autres
Publié: (2026)

Improving Industrial Injection Molding Processes with Explainable AI for Quality Classification
par: Rottenwalter, Georg, et autres
Publié: (2025)

Novel Approaches to Artificial Intelligence Development Based on the Nearest Neighbor Method
par: Priezzhev, I. I., et autres
Publié: (2025)

Advancements in synthetic data extraction for industrial injection molding
par: Rottenwalter, Georg, et autres
Publié: (2025)

Spiking Neural Network Architecture Search: A Survey
par: Svoboda, Kama, et autres
Publié: (2025)

Simple yet Effective Node Property Prediction on Edge Streams under Distribution Shifts
par: Lee, Jongha, et autres
Publié: (2025)

Towards Systematic Generalization for Power Grid Optimization Problems
par: Memon, Zeeshan, et autres
Publié: (2026)

Sim-to-reality adaptation for Deep Reinforcement Learning applied to an underwater docking application
par: Chaarani, Alaaeddine, et autres
Publié: (2026)

StepScorer: Accelerating Reinforcement Learning with Step-wise Scoring and Psychological Regret Modeling
par: Xu, Zhe
Publié: (2026)

N-Agent Ad Hoc Teamwork
par: Wang, Caroline, et autres
Publié: (2024)

Deep Reinforcement Learning for Day-to-day Dynamic Tolling in Tradable Credit Schemes
par: Wu, Xiaoyi, et autres
Publié: (2025)

APC-GNN++: An Adaptive Patient-Centric GNN with Context-Aware Attention and Mini-Graph Explainability for Diabetes Classification
par: Berkani, Khaled
Publié: (2025)

From Theory to Practice with RAVEN-UCB: Addressing Non-Stationarity in Multi-Armed Bandits through Variance Adaptation
par: Fang, Junyi, et autres
Publié: (2025)

Embedded Safety-Aligned Intelligence via Differentiable Internal Alignment Embeddings
par: Rathva, Harsh, et autres
Publié: (2025)