Abstract. Proper generalized decompositions (PGDs) are a family of methods for efficiently solving high-dimensional PDEs, which seek to find a low-rank approximation to the solution of the PDE a priori. Convergence of PGD algorithms can only be proven for problems which are continuous, symmetric, and strongly coercive. In the particular case of problems which are only weakly coercive we have the additional issue that weak coercivity estimates are not guaranteed to be inherited by the low-rank PGD approximation. This can cause stability issues when employing a Galerkin PGD approximation of weakly coercive problems. In this paper we propose the use of PGD algorithms based on least-squares formulations which always lead to symmetric and strongly coercive problems and hence provide stable and provably convergent algorithms. Taking the Stokes problem as a prototypical example of a weakly coercive problem, we develop and compare rigorous leastsquares PGD algorithms based on continuous least-squares estimates for two different reformulations of the problem. We show that these least-squares PGDs provide a much stabler algorithm than an equivalent Galerkin PGDs, and we provide proofs of convergence of the algorithms. 1. Introduction. The systems of partial differential equations (PDEs) arising from many models in science and engineering are defined in high-dimensional spaces. Examples include the kinetic theory description of polymer dynamics, option pricing in financial mathematics, and quantum chemistry. The numerical solution of these systems represents a tremendous computational challenge since they exhibit the so-called curse of dimensionality when standard methods of discretization are used. This issue arises since many algorithms do not scale well with increasing dimensions, typically requiring computational effort (time or memory) that is exponential in the number of dimensions. Therefore, new algorithms are required to circumvent the curse of dimensionality to make the problems tractable.One possibility lies in the use of sparse grids [12]. However, Achdou and Pironneau [1] argue that the use of sparse grids is restricted to models that possess moderate dimensionality. An alternative approach uses low-rank tensor methods to search for an approximation of the solution in a low-dimensional subset of the solution space. Classical low-rank subsets include canonical tensors and Tucker tensors and their variants [25].Proper generalized decompositions (PGDs) are a relatively new family of methods which were introduced by Ammar et al. [4] for the efficient approximation of the solution to PDEs defined in high-dimensional spaces. The main concept underpinning all PGD algorithms is the approximation of the solution, u, to a d-dimensional PDE