da's picture

2 1 2

da

happyllll

·

AI & ML interests

None yet

Recent Activity

updated a model 7 days ago

ruc-ai4math/Lean_State_Search_Random

new activity 7 days ago

ruc-ai4math/Lean_State_Search_Random:Add pipeline tag, library and license information

updated a model 7 days ago

ruc-ai4math/LeanStateSearch2025.3

View all activity

Organizations

happyllll's activity

New activity in ruc-ai4math/Lean_State_Search_Random 7 days ago

Add pipeline tag, library and license information

#1 opened 7 days ago by

New activity in ruc-ai4math/mathlib_handler_benchmark_410 7 days ago

Add dataset card and metadata

#1 opened 7 days ago by