nLab Joseph Tooby-Smith

• personal page

• InSpire page

Selected writings

On smooth $\infty$-groups of generalized global symmetries of quantum field theories understood via the geometric cobordism hypothesis:

• Ben Gripaios, Oscar Randal-Williams, Joseph Tooby-Smith, Smooth generalized symmetries of quantum field theories, J. Geom. Phys. (2024) [arXiv:2310.16090, doi:10.1016/j.geomphys.2024.105212]

On using the Lean proof assistant for problems in high energy physics:

• Joseph Tooby-Smith, HepLean: Digitalising high energy physics [arXiv:2405.08863]

• Joseph Tooby-Smith: Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature [arXiv:2603.08139]

• Sven Krippendorf, Joseph Tooby-Smith: Physics as Code: From Scans to Theorems with ITP APIs in $SU(5)$ Model Building [arXiv:2603.28406]

Formalization of Wick's theorem in the proof assistant Lean:

• Joseph Tooby-Smith: Digitalizing Wick’s theorem [arXiv:2505.07939]

category: people