Hugging Face's logo
da's picture
2 1 2

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
View all activity

Organizations

ruc-ai4math's profile picture

happyllll's activity

New activity in ruc-ai4math/Lean_State_Search_Random about 1 month ago

Add pipeline tag, library and license information

1
#1 opened about 1 month ago by
nielsr
New activity in ruc-ai4math/mathlib_handler_benchmark_410 about 1 month ago

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