self-improving-ai
6 projetos partilham este topic do GitHub
Linhas conectam membros que estão mensuravelmente relacionados entre si. O tamanho do ponto reflete estrelas.
🧬 Membros
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
🔗 Familias relacionadas
Medido a partir dos tópicos do GitHub compartilhados por ambos os projetos, ponderado pela raridade de cada tópico.