Formalization of physics index notation in Lean 4. - Joseph Tooby-Smith (CoRR, 2024)

HepLean: Digitalising high energy physics. - Joseph Tooby-Smith (Comput. Phys. Commun., 2025)

Digitalizing Wick's theorem. - Joseph Tooby-Smith (CoRR, 2025)

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature. - Joseph Tooby-Smith (CoRR, 2026)

Physics as Code: From Scans to Theorems with ITP APIs in SU(5) Model Building. - Sven Krippendorf; Joseph Tooby-Smith (CoRR, 2026)