Joseph Tooby-Smith

Orcid: 0000-0003-2831-598X

According to our database¹, Joseph Tooby-Smith authored at least 5 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Physics as Code: From Scans to Theorems with ITP APIs in SU(5) Model Building.

[DOI]

CoRR, March, 2026

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature.

[DOI]

CoRR, March, 2026

2025

Digitalizing Wick's theorem.

[DOI]

CoRR, May, 2025

HepLean: Digitalising high energy physics.

[DOI]

Comput. Phys. Commun., 2025

2024

Formalization of physics index notation in Lean 4.

[DOI]

CoRR, 2024