BootLoops packages particle-physics integral reduction, experimental-mathematics integer-relation fitting, and ball arithmetic into an LLM-operable exact-computation toolkit that turns multi-loop Feynman integrals, Bayesian evidence integrals, and floating-point error re-runs into exact results
BootLoops gathers integral reduction, differential equations, and high-precision evaluation from particle physics, integer-relation fitting from experimental mathematics, exact enumeration, and ball arithmetic into one toolkit that any agentic large language model can operate and extend, computing multi-loop Feynman integrals by bootstrap methods rather than direct integration across function classes including polylogarithms, elliptic functions, and periods of K3 surfaces and Calabi-Yau manifolds, and also evaluating Bayesian evidence integrals as exact rational numbers, enumerating finite configuration spaces with proof of completeness, showing when a sought closed form cannot exist, and redoing floating-point calculations with guaranteed digits.