1 citations · 3 across the 5 of their papers we have counts for
Showing hep-phShow 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-ph2024★ 1 cited
HepLean: Digitalising high energy physics
Joseph Tooby-Smith
We introduce HepLean, an open-source project to digitalise definitions, theorems, proofs, and calculations in high energy physics using the interactive theorem prover Lean 4. HepLe…