arXiv++ Combinatorics

Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y. Zhao etc., including two Ramanujan-$1/π^4$, one $1/π^3$ formulas as well as a remarkable series for $ζ(5)$.