pinned
Sleeping
Agents
μ-OV Cipher
🧬
Companion to OilVinegar.lean — uniqueness of μ
Sarah Marin PRO
beanapologist
AI & ML interests
None yet
Recent Activity
updated a dataset about 11 hours ago
COINjecture/NP-Solutions updated a Space 13 days ago
beanapologist/arc-agi published a Space 14 days ago
beanapologist/arc-agiOrganizations
spaces 8
Sleeping
Agents
ARC-AGI Fluid Re/Im
🧬
Fluid Re/Im duality solver for ARC-AGI-3
Runtime error
Agents
Eigenverse Theorem Prover
🧬
Sleeping
Agents
Eigenverse μ-LM
🧠
Language has no tense — only position on the orbit
Sleeping
Agents
Eigenverse μ-LM
🧠
Language has no tense — only position on the orbit
Sleeping
Agents
Eigenverse — μ-Miner ⛏️
⛏
Mining Bitcoin with vibes and formal verification