Proof of a conjecture of Adamchuk. - Guo-Shuai Mao (J. Comb. Theory A, 2021)

Proof of a supercongruence via the Wilf-Zeilberger method. - Guo-Shuai Mao (J. Symb. Comput., 2021)

Supercongruences involving Apéry-like sequences mnGn(x) and mnVn(x). - Guo-Shuai Mao; Jun-Jun Yang (Period. Math. Hung., 2023)

Proof of some conjectural congruences involving products of two binomial coefficients. - Guo-Shuai Mao; Xiran Zhang (J. Symb. Comput., 2025)