ruc-ai4math

AI & ML interests

None defined yet.

Recent Activity

happyllll  published a model about 1 month ago

ruc-ai4math/Lean_State_Search_Random

happyllll  published a dataset about 1 month ago

ruc-ai4math/mathlib_handler_benchmark_410

happyllll  updated a dataset about 1 month ago

ruc-ai4math/mathlib_handler_benchmark_410

View all activity

Team members 2