-
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
09/23/2020 ∙ by Koundinya Vajjha, et al. ∙
0
∙
share
read it
-
Language as a matrix product state
We propose a statistical model for natural language that begins by consi...
11/04/2017 ∙ by Vasily Pestun, et al. ∙
0
∙
share
read it
-
Tensor network language model
We propose a new statistical model suitable for machine learning of syst...
10/27/2017 ∙ by Vasily Pestun, et al. ∙
0
∙
share
read it
