TY - RPRT TI - Feynman Integral Reduction using Syzygy-Constrained Symbolic Reduction Rules AU - Sid Smith AU - Mao Zeng PY - 2026 UR - https://arxiv.org/abs/2507.11140 ID - 2507.11140 ER -