% !TEX root = ../main.tex

\section{CVGP derivation details}
\label{asec:cvtgp_derivation}

We derive CVGP's coreset-based posterior
and the log-marginal likelihood's variational lower-bound,
first from the function-space view of $\gp$s in Section~\ref{assec:cvtgp_functionspace},
and then from the complementary weight-space view in Section~\ref{assec:cvtgp_weightspace}.
Independently of the route taken, the attained variational lower-bounds are identical, 
yet the weight- and function-space coreset-based variational posteriors
enable complementary understanding of CVGP's inference procedure and posterior distribution.

\input{./appendix/cvtgp_derivation}

\clearpage
\section{Experiments: Set-up and Additional Details}
\label{asec:experiments}

\input{./appendix/experiment_details}

\vfill
