1: \begin{abstract}

2: Effective field theories (EFTs) organize the description of complex systems into an infinite sequence of decreasing importance.

3: Predictions are made with a finite number of terms, which induces a truncation error that is often left unquantified.

4: We formalize the notion of EFT convergence and propose a Bayesian truncation error model for predictions that are correlated across the independent variables, e.g., energy or scattering angle.

5: Central to our approach are Gaussian processes that encode both the naturalness and correlation structure of EFT coefficients.

6: Our use of Gaussian processes permits efficient and accurate assessment of credible intervals, allows EFT fits to easily include correlated theory errors, and provides analytic posteriors for physical EFT-related quantities such as the expansion parameter.

7: We demonstrate that model-checking diagnostics---applied to the case of multiple curves---are powerful tools for EFT validation. As an example, we assess a set of nucleon-nucleon scattering observables in chiral EFT\@.

8: In an effort to be self contained, appendices include thorough derivations of our statistical results.

9: Our methods are packaged in Python code, called \texttt{gsum}~\cite{gsum}, that is available for download on GitHub.

10: \end{abstract}

11: