SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics
Abstract
A supergravity solution in the literature is an artifact that cannot be verified without re-deriving it: conventions might not be clearly stated, papers have typos, algebra is tedious. SolutionsX is a Mathematica package that turns an xAct environment, whatever physics it may describe, into a stored, machine-verifiable record: code that replays in a fresh kernel, carries its own verification, and can later be fetched for re-use or extension. The shipped examples are supergravity theories and their solutions, but the scope is anything xAct reaches: abstract tensors, differential forms, spinors in any dimension. We follow one published solution through the entire workflow, benchmark the package's component engine against xAct's, and report on three blind runs of an agentic workflow in which an AI coding agent, given the package and a small toolkit, correctly codified a recent paper in under three hours. A database of such records is useful to researchers today and gives agents worked examples to learn from. The package acts as an internal verifier during the thought process of an agent: a claim is checked in the kernel before it is made.
Related
- Quantum Gravity Principles for 4d 𝒩=2 Supergravity Theories and Asymptotic Hodge Theory
- 𝒩=3 supersymmetric AdS4 solutions in d=11 supergravity
- Eight-dimensional Manin triples, Yang-Baxter deformations and solutions of Supergravity Equations
- Spindle solutions with hyperscalars in D=4 gauged supergravity
- Spindle solutions with hyperscalars in D = 4 gauged supergravity
BibTeX
@misc{dimitrov2026solutionsx,
title = {{SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics}},
author = {Vasil Dimitrov},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.07826},
eprint = {2609.07826},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.07826},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics
AU - Vasil Dimitrov
PY - 2026
DA - 2026/09/07
PB - arXiv
DO - 10.48550/arxiv.2609.07826
UR - https://arxiv.org/abs/2609.07826
AB - A supergravity solution in the literature is an artifact that cannot be verified without re-deriving it: conventions might not be clearly stated, papers have typos, algebra is tedious. SolutionsX is a Mathematica package that turns an xAct environment, whatever physics it may describe, into a stored, machine-verifiable record: code that replays in a fresh kernel, carries its own verification, and can later be fetched for re-use or extension. The shipped examples are supergravity theories and their solutions, but the scope is anything xAct reaches: abstract tensors, differential forms, spinors in any dimension. We follow one published solution through the entire workflow, benchmark the package's component engine against xAct's, and report on three blind runs of an agentic workflow in which an AI coding agent, given the package and a small toolkit, correctly codified a recent paper in under three hours. A database of such records is useful to researchers today and gives agents worked examples to learn from. The package acts as an internal verifier during the thought process of an agent: a claim is checked in the kernel before it is made.
ER -