GIFT mathematical core - Formally verified constants (Lean 4)
Framework for training MCMC samplers for Lattice QCD
Up to 913x faster Lie algebra products for all five exceptional algebras with differentiable PyTorch equivariant layers
Application of the L2HMC algorithm to simulations in lattice QCD.
