320 citations · 1.4k across the 33 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun +2
Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward. The desire to use reinforcement learni…
math.RT2020★ 8 cited
Lax matrices from antidominantly shifted Yangians and quantum affine algebras: A-type
Rouven Frassek, Vasily Pestun, Alexander Tsymbaliuk
We construct a family of rational and trigonometric Lax matrices parametrized by -valued divisors on . To this end, we study the shifted Drin…