1: \begin{abstract}

2: Gradient-based Monte Carlo sampling algorithms, like Langevin dynamics and Hamiltonian Monte Carlo, are important methods for Bayesian inference.

3: In large-scale settings, full-gradients are not affordable and thus stochastic gradients evaluated on mini-batches are used as a replacement.

4: In order to reduce the high variance of noisy stochastic gradients, \cite{langevin} applied the standard variance reduction technique on stochastic gradient Langevin dynamics and obtained both theoretical and experimental improvements.

5: In this paper, we apply the variance reduction tricks on Hamiltonian Monte Carlo and achieve better theoretical convergence results compared with the variance-reduced Langevin dynamics.

6: Moreover, we apply the symmetric splitting scheme in our variance-reduced Hamiltonian Monte Carlo algorithms to further improve the theoretical results.

7: The experimental results are also consistent with the theoretical results.

8: As our experiment shows, variance-reduced Hamiltonian Monte Carlo demonstrates better performance than variance-reduced Langevin dynamics in Bayesian regression and classification tasks on real-world datasets.

9: \end{abstract}

10: