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 5 days ago
COINjecture/NP-Solutions updated a dataset 6 days ago
COINjecture/NP-Solutions updated a dataset 7 days ago
COINjecture/NP-SolutionsOrganizations
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