Highlights
Pinned Loading
-
IGBundle-LLM
IGBundle-LLM PublicIGBundle LLM is an experimental framework for adapting Large Language Models (LLMs) using concepts from Information Geometry and Sheaf/Bundle Theory.
Python 1
-
connection_laplacian_lean
connection_laplacian_lean PublicLean 4 / Mathlib v4.11.0 formalisation of the kernel dimension theory of the Z/2 connection Laplacian on finite simple graphs, with paper
Lean 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



