← 최신 프로덕트

Verified Deep Learning with Lean 4

brettkoonce.github.io 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formal Verification for Machine Learning Models Using Lean 4

    github.com

    Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

    Hacker News52점

  2. TinyGPT

    github.com

    A Simple, Educational Deep Learning Library

    Hacker News13점

  3. Deep learning without gradient descent, 500 layers, no skip connections

    github.com

    Code that reproduces experiments from a scientific paper

    Hacker News5점

  4. Artifice

    sotai.ai

    Making Machine Learning Transparent and Accessible

    Hacker News8점

  5. Viveka

    github.com

    filter LLM output against a Lean-verified Advaita Vedanta model

    Hacker News7점