TY - RPRT TI - Performing integration-by-parts reductions using NeatIBP 1.1 + Kira AU - Zihao Wu AU - Janko Böhm AU - Rourou Ma AU - Johann Usovitsch AU - Yingxuan Xu AU - Yang Zhang PY - 2025 UR - https://arxiv.org/abs/2502.20778 ID - 2502.20778 ER -