ruc-ai4math

AI & ML interests

None defined yet.

Recent Activity

timechess  updated a model 1 day ago

ruc-ai4math/LeanStateSearch2025.3

happyllll  updated a model 5 days ago

ruc-ai4math/Lean_State_Search_Random

timechess  new activity 5 days ago

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

View all activity

Team members 2