Skip to content
#

self-improving-ai

Here are 161 public repositories matching this topic...

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.

  • Updated Oct 22, 2026
  • Python

A curated research map of Recursive Self-Improvement (RSI): models, agents, harnesses, embodied systems, automated AI R&D, benchmarks, and safety.

  • Updated Oct 15, 2026
awesome-hermes-usecases

Curated real-world use cases for Hermes Agent — the self-improving AI agent from Nous Research. Backed by primary sources.

  • Updated Oct 23, 2026
  • Python

Add this topic to your repo

To associate your repository with the self-improving-ai topic, visit your repo's landing page and select "manage topics."

Learn more