Joseph Tooby-Smith

activity

20242026

most citedFormalization of physics index notation in Lean 4

1 citations · 3 across the 5 of their papers we have counts for

collaborators

Showing hep-thShow all

2 papers · 1 filter

hep-th2026

Physics as Code: From Scans to Theorems with ITP APIs in $S U (5)$ Model Building

Sven Krippendorf, Joseph Tooby-Smith

A recurring challenge in theoretical physics is to make reliable global statements about bounded but combinatorially large model spaces. Exhaustive scans quickly become opaque or i…

hep-th2025

Digitalizing Wick's theorem

Joseph Tooby-Smith

Wick's theorem is a cornerstone of perturbative quantum field theory. In this paper we announce and discuss the digitalization of Wick's theorem and its proof into the interactive…

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

Digitalizing Wick's theorem

Physics as Code: From Scans to Theorems with ITP APIs in $S U (5)$ Model Building