11 citations · 11 across the 3 of their papers we have counts for
4 papers
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…
Scattering Amplitudes as Programs: Self-Evolving Search for Theory and Event Generation
Yi Gu, Sven Krippendorf
By viewing scattering amplitudes as computer programs, we connect two goals: exposing useful analytic structure and constructing efficient numerical evaluators for collider phenome…
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…
Connecting Dualities and Machine Learning
Philip Betzler, Sven Krippendorf
Dualities are widely used in quantum field theories and string theory to obtain correlation functions at high accuracy. Here we present examples where dual data representations are…