Fetching the paper…
Reading the bibliography…
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.
General Solution to the U(1) Anomaly Equations
Davi B. Costa, Bogdan A. Dobrescu, and Patrick J. Fox · 1905
Earlier work this paper cites.
Hypercharge Quantisation and Fermat’s Last Theorem
Nakarin Lohitsiri and David Tong · 1907
Earlier work this paper cites.
Comments on the parametrization of the kobayashi-maskawa matrix
Ling-Lie Chau and Wai-Yee Keung · 1984
Earlier work this paper cites.
Commutator of the quark mass matrices in the standard electroweak model and a measure of maximal CP \mathrm{CP} nonconservation
C. Jarlskog · 1985
Earlier work this paper cites.
Anomaly cancellation with an extra gauge boson
B. C. Allanach, Ben Gripaios, and Joseph Tooby-Smith · 2006
Earlier work this paper cites.
The lean theorem prover (system description)
Leonardo De Moura, Soonho Kong, Jeremy Avigad, Floris Van Doorn, and Jakob von Raumer · 2015
Cited alongside, same era.
A formalization of elements of special relativity in coq
Eric Hanqing Lu · 2017
Cited alongside, same era.
The lean mathematical library
The mathlib Community · 2020
Cited alongside, same era.
Building the mathematical library of the future
Kevin Hartnett · 2020
Cited alongside, same era.
Scilean: Scientific computing assistant
Tomáš Skřivan
Cited in the paper.
Lean game server
Alexander Bentkamp and Jon Eugster
Cited in the paper.
The natural number game
Kevin Buzzard, Jon Eugster, and Mohammad Pedramfar
Geometric General Solution to the U ( 1 ) U(1) Anomaly Equations
B. C. Allanach, Ben Gripaios, and Joseph Tooby-Smith · 2020
Later among the works it cites.
A ν \nu supersymmetric anomaly-free atlas
B. C. Allanach, Maeve Madigan, and Joseph Tooby-Smith · 2022
Later among the works it cites.
Leandojo: Theorem proving with retrieval-augmented language models
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, and Anima Anandkumar · 2023
Later among the works it cites.
Formalizing chemical physics using the lean theorem prover
Maxwell P Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M Wraback, and Tyler R Josephson · 2024
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited in the paper.
The set theory game
Daniel J. Velleman
Cited in the paper.