BootLoops: an LLM-driven toolkit for exact quantitative science

Abstract

Much of quantitative science involves difficult mathematical computations: a Feynman integral, evidence for an evolutionary tree, or a regulatory statistic. These are often estimated by Monte Carlo or heuristic search, or computed in floating point without tracking rounding error. Exact methods often exist, but in a field far from the problem. The reduction methods of collider physics also work on a Bayesian evidence, and a regulatory threshold can be settled with interval arithmetic from numerical analysis, but few people know both fields. A large language model knows both, and every other field, and with working programs in hand it can carry a method from one to another. BootLoops is a pool of such programs: integral reduction, differential equations and high-precision evaluation from particle physics, integer-relation fitting from experimental mathematics, exact enumeration, and ball arithmetic, in one toolkit that any agentic large language model can operate and extend. These tools can compute multi-loop Feynman integrals by bootstrap methods rather than direct integration, across the function classes that arise, including polylogarithms, elliptic functions, and periods of K3 surfaces and Calabi-Yau manifolds. They can also evaluate Bayesian evidence integrals as exact rational numbers, enumerate finite configuration spaces with proof of completeness, show when a sought closed form cannot exist, and redo floating-point calculations with guaranteed digits. In practice this brings the tools of mathematics, computer science and physics to problems in genomics, statistics, ecology and other fields. The toolkit and its documentation are at https://bootloops.ai.