Pestun, Vasily

1. Quantum geometry and quiver gauge theories
   2013/12/23 by Nekrasov, Nikita, Pestun, Vasily, Shatashvili, Samson · 4 citations
   #Algebraic Geometry (math.AG) #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Quantum Algebra (math.QA) #Representation Theory (math.RT)
2. CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
   2020/09/23 by Vajjha, Koundinya, Shinnar, Avraham, Pestun, Vasily +2 · 3 citations
   #Artificial Intelligence (cs.AI) #D.2.4 #FOS: Computer and information sciences #I.2.8 #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
3. Tensor network language model
   2017/10/27 by Vasily Pestun, Yiannis Vlassopoulos, Pestun, Vasily +1 · 3 citations
   Mathematics · Physics and Astronomy · Computer Science · #Tensor decomposition and applications #Quantum many-body systems #Computational Physics and Python Applications
4. Graph2Tac: Online Representation Learning of Formal Math Concepts
   2024/01/05 by Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason +3 · 5 citations
   #68T07 (Primary) 68V15 (Secondary) #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.3 #I.2.6 #Machine Learning (cs.LG)
5. The 1/2 BPS 't Hooft loops in N=4 SYM as instantons in 2d Yang-Mills
   2009/09/23 by Simone Giombi, Giombi, Simone, Vasily Pestun +1 · 2 citations
   Mathematics · Physics and Astronomy · #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Nonlinear Waves and Solitons
6. Language as a matrix product state
   2017/11/04 by Vasily Pestun, Pestun, Vasily, John Terilla +3 · 1 citation
   Computer Science · #Cellular Automata and Applications #Computability, Logic, AI Algorithms #Computation and Language (cs.CL) #Disordered Systems and Neural Networks (cond-mat.dis-nn) #FOS: Computer and information sciences #FOS: Physical sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural and Evolutionary Computing (cs.NE) #semigroups and automata theory