Semi-automated proof of supercongruences on partial sums of hypergeometric series. - Ji-Cai Liu (J. Symb. Comput., 2019)

Congruences on sums of q-binomial coefficients. - Ji-Cai Liu; Fedor Petrov 001 (Adv. Appl. Math., 2020)

On two supercongruences of double binomial sums. - Long Li; Ji-Cai Liu (Period. Math. Hung., 2021)