Skip to content
@Varifold-Lab

Varifold

An open learning community studying formal verification, interpretability, and tokenomics, with a focus on the mathematical foundations of AI safety.
README.md

Varifold

Varifold is an open learning community studying formal verification, interpretability, and mathematical foundations of AI safety. We develop and share notes, tools, and open-source projects to support learning and verifiable knowledge discovery.

Website: varifold-lab.github.io

Pinned Loading

  1. awesome-ai-safety awesome-ai-safety Public

    2

  2. LeanSort LeanSort Public

    Formal verification of 15 sorting algorithms in Lean 4, with correctness proofs, execution traces, and operation-count bounds.

    Lean 1

  3. LeanMFG LeanMFG Public

    Formal mean field games in Lean 4: models, theory, algorithms, and verification.

    Lean 3 1

  4. neural-spec neural-spec Public

    Neural network specifications and Lean verification, with a trained XOR example over exact reals and binary32.

    Lean

Repositories

Showing 6 of 6 repositories
  • varifold-lab.github.io Public

    Varifold is an open learning community studying formal verification, interpretability, and tokenomics, with a focus on the mathematical foundations of AI safety. We develop and share notes, tools, and open-source projects to support learning and verifiable knowledge discovery.

    Varifold-Lab/varifold-lab.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Oct 2, 2026
  • awesome-ai-safety Public
    Varifold-Lab/awesome-ai-safety's past year of commit activity
    2 0 0 0 Updated Oct 2, 2026
  • .github Public
    Varifold-Lab/.github's past year of commit activity
    0 0 0 0 Updated Oct 1, 2026
  • neural-spec Public

    Neural network specifications and Lean verification, with a trained XOR example over exact reals and binary32.

    Varifold-Lab/neural-spec's past year of commit activity
    Lean 0 0 0 0 Updated Oct 1, 2026
  • LeanMFG Public

    Formal mean field games in Lean 4: models, theory, algorithms, and verification.

    Varifold-Lab/LeanMFG's past year of commit activity
    Lean 3 Apache-2.0 1 7 0 Updated Sep 28, 2026
  • LeanSort Public

    Formal verification of 15 sorting algorithms in Lean 4, with correctness proofs, execution traces, and operation-count bounds.

    Varifold-Lab/LeanSort's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Sep 24, 2026

Top languages

Loading…

Most used topics

Loading…