← 최신 프로덕트

Formal Verification for Machine Learning Models Using Lean 4

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

라이브러리오픈소스

88 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formalizing Principia Mathematica using Lean

    github.com

    Rewriting Principia Mathematica in Lean

    Hacker News188점

  2. Mthds

    mthds.ai

    Beyond skills: a typed DSL for executable AI methods

    Hacker News23점

  3. An educational Local Qwen3 LLM Inference project written in Rust

    github.com

    An educational Rust project for exporting and running inference on Qwen3 LLM family

    Hacker News15점

  4. val

    github.com

    An arbitrary precision calculator language

    Hacker News34점

  5. Algebruh

    github.com

    Cross-check arithmetic claims with Z3, cvc5, and Lean

    Hacker News14점