alpha-proof-open-source

AI & ML interests

AI4MATH

Recent Activity

WufuJu  updated a dataset about 23 hours ago

alpha-proof-open-source/10-4-alpha-proof-trajectories

WufuJu  published a dataset about 23 hours ago

alpha-proof-open-source/10-4-alpha-proof-trajectories

WufuJu  published a model about 1 month ago

alpha-proof-open-source/alphaproof-full-v3-value-head

View all activity

Team members 3