pinned
Running on Zero
Mu
🧬
Eigenverse LM — 552 Lean theorems, 0 sorry
AI & ML interests
computational complexity; NP problem solving
Recent Activity
Organization Card
Live block data emissions from NP-hard computational work completed by our L1 blockchain, COINjecture. To participate in mining or learn more, visit COINjecture.com
datasets 12
COINjecture/RichEmissions
Updated • 1.05k
COINjecture/MiningEmissions
Updated • 257
COINjecture/NPcommitments
Updated • 9
COINjecture/v5
Preview • Updated • 99
COINjecture/NP_Solutions
Preview • Updated • 3
COINjecture/NP_Solutions_v4
Viewer • Updated • 27.7k • 4
COINjecture/NP_Solutions_v3
Viewer • Updated • 33k • 5
COINjecture/NP_Solutions_v2
Viewer • Updated • 70.5k • 39
COINjecture/SAT_Solutions
Preview • Updated • 162 • 1
COINjecture/SubsetSum_Solutions
Viewer • Updated • 2.43k • 4