Gen-Verse / DiscoveryRSI

DiscoveryRSI: Recursively Learning to Discover Valuable Hypotheses

litexlang / golitex

Litex: a formal language which lets machines and humans speak the same mathematical language

Gen-Verse / ScienceBuddy

ScienceBuddy: Recursive-in-Recursive Self-Improvement for Interactive Scientific Agents

Gen-Verse / DFM-Plans

Discovery Foundation Models (DFMs)