← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

Formal-Verification-RSI

github.com

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.

Open source

Visit github.comexternal siteGitHub2,887 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. 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.

    Hacker News52 ptsGitHub88 starsgithub.comLibraryOpen source2 reactionslatest reaction

  2. paperthin

    The skillbook for recursive self-improvement (RSI). NVIDIA's latest proof, unpacked with timeless engineering. Distilled from the OpenAI harness engineering hackathon winner's zero-touch method.

    GitHub1,396 starsgithub.comOpen sourcelatest reaction

  3. Akmon

    a Rust AI coding agent for regulated engineering

    Hacker News5 ptsGitHub36 starsgithub.comCLIOpen source2 reactionslatest reaction

  4. Forall

    Spec-driven AI coding with formal verification

    Hacker News11 ptsgithub.comOpen source3 reactionslatest reaction

  5. RSI-Anything

    JEPA world models for self-improving agents

    Hacker News8 ptsGitHub1,132 starsgithub.comOpen source2 reactionslatest reaction