Mu
🧬
Lean-verified ML model for Parameter Golf
AI & ML interests
computational complexity; NP problem solving
Recent Activity
beanapologist
updated a
Space 3 days ago
beanapologist
published a
Space 5 days ago
beanapologist
updated 2
datasets 2 months ago
beanapologist
published a
dataset 2 months ago
beanapologist
published a
dataset 3 months ago
beanapologist
updated a
dataset 3 months ago
beanapologist
published a
dataset 3 months ago
beanapologist
updated 2
datasets 3 months ago
Quigles1337
updated a
dataset 3 months ago
Quigles1337
published a
dataset 4 months ago
beanapologist
updated 2
datasets 4 months ago
[bot] Conversion to Parquet
#1 opened 4 months ago
by 
parquet-converter
beanapologist
published a
dataset 4 months ago
beanapologist
updated 2
datasets 4 months ago
beanapologist
published a
dataset 4 months ago
beanapologist
updated a
dataset 4 months ago