Performing integration-by-parts reductions using NeatIBP 1.1 + Kira. - Zihao Wu; Janko Böhm; Rourou Ma; Johann Usovitsch; Yingxuan Xu; Yang Zhang 020 (Comput. Phys. Commun., 2025)