Vasil Dimitrov

SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics

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...