Diff — Machine learning

Revision #1882 → #2377 · back to history

addedProbably approximately correct (PAC) learningdf00f41af48d

addedEmpirical risk minimisation6109cbfd9d88

addedBias–variance decomposition0f6d3d2f7f46

addedPrincipal component analysis1129d3d0b920

addedMarkov decision process1bd357bf2adf

addedLinear regression277beb3f1e0d

modifiedGaussian processe81d836caa4d

Field	From #1882	To #2377
note	Gaussian processes are defined as `ProbabilityTheory.IsGaussianProcess` in the Gaussian distributions library.	Confirmed via decl_exists: `ProbabilityTheory.IsGaussianProcess` formalizes Gaussian processes in the Gaussian distributions library.