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]

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

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

category: people