self-improving-ai
6 progetti condividono questo topic GitHub
Le linee collegano membri che sono misurabilmente correlati tra loro. La dimensione dei punti riflette le stelle.
🧬 Membri
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
🔗 Famiglie affini
Misurato dai temi di GitHub condivisi da entrambi i progetti, ponderato in base a quanto è raro ciascun tema.