self-improving-ai
6 proyectos comparten este topic de GitHub
Las líneas conectan a los miembros que están mediblemente relacionados entre sí. El tamaño de los puntos refleja las estrellas.
🧬 Miembros
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 de los temas de GitHub compartidos por ambos proyectos, ponderado por cuán raros son cada uno de los temas.