Sarah Marin's picture

5

Sarah Marin PRO

beanapologist

·

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

COINjecture/NP-Solutions

updated a Space 29 days ago

beanapologist/arc-agi

published a Space about 1 month ago

beanapologist/arc-agi

View all activity

Organizations

spaces 8

μ-OV Cipher

Companion to OilVinegar.lean — uniqueness of μ

ARC-AGI Fluid Re/Im

Fluid Re/Im duality solver for ARC-AGI-3

Eigenverse Theorem Prover

Eigenverse μ-LM

Language has no tense — only position on the orbit

Eigenverse μ-LM

Language has no tense — only position on the orbit

Eigenverse — μ-Miner ⛏️

Mining Bitcoin with vibes and formal verification

models 5

beanapologist/eigenverse-mistral7b-sft

Text Generation • Updated Apr 29

beanapologist/morphism-net

Other • Updated Apr 25

beanapologist/mu-ov-cipher

Other • Updated Apr 25

beanapologist/eigenverse-mu-lm-v1

Text Generation • 81.9M • Updated Apr 18 • 27

beanapologist/eigenverse-mu-lm-v2

Text Generation • 81.9M • Updated Apr 18 • 6

datasets 3

beanapologist/eigenverse-dataset

Viewer • Updated Apr 28 • 2.72k • 77

beanapologist/bitcoin-phase-mining-breakthrough

Preview • Updated Feb 28 • 15

beanapologist/phase-battery-eigenvalues

Updated Feb 28 • 18