Skip to content
View luaartist's full-sized avatar
💭
Research and Development
💭
Research and Development
43 followers · 75 following
  • USA

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair Extraordinaire

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair Extraordinaire

Block or report luaartist

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Yang-Mills-Lean-4-Scaffold-Archive Yang-Mills-Lean-4-Scaffold-Archive Public

    Lean 4 scaffold for formalizing the Yang–Mills existence and mass gap problem, with checked finite-dimensional certificates and a staged continuum-lift program.

    Lean 3 1

  2. pytorch/pytorch pytorch/pytorch Public

    Tensors and Dynamic neural networks in Python with strong GPU acceleration

    Python 105k 31.3k