1 citations · 3 across the 5 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
hep-ph2026
The Future of AI-assisted Physics: Discovering, Verifying and Organizing Results via Formalization
Sven Krippendorf, Leopoldo Sarra, Joseph Tooby-Smith
Rapid advances in AI have opened a new era for physics, enabling unprecedented capabilities in research and discovery. However, these advances also bring challenges in verifying, t…
hep-ph2026★ 1 cited
Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
Joseph Tooby-Smith
In 2006, using the best methods and techniques available at the time, Maniatis, von Manteuffel, Nachtmann and Nagel published a now widely cited paper on the stability of the two H…
hep-th2026
Physics as Code: From Scans to Theorems with ITP APIs in 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…