Automated Proof of Polynomial Inequalities via Reinforcement Learning

Documenti analoghi

• Reinforcement Learning from Partial Observation: Linear Function Approximation with Provable Sample Efficiency
  di: Cai, Qi, et al.
  Pubblicazione: (2022)
• Shallow Neural Networks Learn Low-Degree Spherical Polynomials with Feature Learning by Learnable Channel Attention
  di: Yang, Yingzhen
  Pubblicazione: (2025)
• Fast Two-Time-Scale Stochastic Gradient Method with Applications in Reinforcement Learning
  di: Zeng, Sihan, et al.
  Pubblicazione: (2024)
• First-order methods for Stochastic Variational Inequality problems with Function Constraints
  di: Boob, Digvijay, et al.
  Pubblicazione: (2023)
• Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games
  di: Gao, Minbo, et al.
  Pubblicazione: (2023)