COINjecture Network

company

computational complexity; NP problem solving

beanapologist updated a Space 2 days ago

beanapologist updated a model 4 days ago

beanapologist published a model 4 days ago

COINjecture 's Spaces 4

Eigenverse LM — 552 Lean theorems, 0 sorry

Train neural networks grounded in the Eigenverse

552 Lean theorems, 0 sorry — quantum on classical

NP-Hard Blockchain Solution Sets