ruc-ai4math

AI & ML interests

None defined yet.

Recent Activity

timechess  authored a paper about 1 month ago

TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow

timechess  updated a model 12 months ago

ruc-ai4math/LeanStateSearch2025.3

happyllll  updated a model 12 months ago

ruc-ai4math/Lean_State_Search_Random

View all activity

Team members 2