Skip to content
View Paul-Lez's full-sized avatar
51 followers · 20 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Organizations

@google-deepmind

Block or report Paul-Lez

Report abuse

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

Report abuse
Paul-Lez/README.md

Hi there 👋

I'm a PhD student at Imperial College London, doing research on algebraic geometry, formal maths and the maths of AI. I also work on theorem proving at Google DeepMind.

Pinned Loading

  1. Stacks-project Stacks-project Public

    Formalizing Fibered Categories and Stacks in Lean

    Lean 7 2

  2. tropicalnn tropicalnn Public

    Tools and experiments from the paper "Tropical Expressivity of Neural Networks"

    Julia 4 1

  3. TropicalNN.jl TropicalNN.jl Public

    Tropical Geometric Computations for Neural Networks

    Julia 1 2

  4. PersistentDecomp PersistentDecomp Public

    Formalizing the Structure Theorem for Persistence Modules

    Lean 6 2