Cesar Fierro Cota

Solver Agent: an Agentic AI Framework for Theoretical Physics Computations Applied to F-theory Uplifts of O3-planes and S-folds

This work introduces Solver Agent, an AI framework based on large language models for calculations and proofs in mathematics and theoretical physics, and provides methods for toric computations and four-form flux analysis in four-dimensional $\mathcal{N}=1$ compactifications with non-abelian gauge sectors.