da
happyllll
·
AI & ML interests
None yet
Recent Activity
updated
a model
about 1 month ago
ruc-ai4math/Lean_State_Search_Random
new activity
about 1 month ago
ruc-ai4math/Lean_State_Search_Random:Add pipeline tag, library and license information
updated
a model
about 1 month ago
ruc-ai4math/LeanStateSearch2025.3
Organizations
happyllll's activity
Add pipeline tag, library and license information
1
#1 opened about 1 month ago
by
nielsr

Add dataset card and metadata
#1 opened about 1 month ago
by
nielsr
