self-improving-ai
6 projets partagent ce topic GitHub
Les traits relient les membres réellement apparentés entre eux. La taille des points suit les étoiles.
🧬 Membres
brigade
Brigade — Your personal intelligence, built enterprise-grade
★ 11.4k
Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and…
★ 2.9k · GitHub ↗
aideml
AIDE: an LLM agent for machine learning engineering - the research Weco grew out of. Referenced in OpenAI…
★ 1.6k
awesome-autoresearch
Curated list of AutoResearch use cases with optimization traces and open source implementations
★ 1.1k
a-evolve
The official repository of "Position: Agentic Evolution is the Path to Evolving LLMs".
★ 795
claude-smart
Turns corrections into Preferences, Project-specific skills, and Shared skills for Claude Code, Codex, and…
★ 774
🔗 Familles voisines
Mesuré à partir des topics GitHub communs aux deux projets, pondérés par leur rareté.