ruc-ai4math

university

AI & ML interests

None defined yet.

Recent Activity

timechess authored a paper 15 days ago

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

timechess updated a model 11 months ago

ruc-ai4math/LeanStateSearch2025.3

happyllll updated a model 11 months ago

ruc-ai4math/Lean_State_Search_Random

View all activity

ruc-ai4math 's models 2

ruc-ai4math/LeanStateSearch2025.3

Sentence Similarity • 67M • Updated Mar 11, 2025 • 1 • 1

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7, 2025 • 4

ruc-ai4math (ruc-ai4math)

ruc-ai4math

university

AI & ML interests

None defined yet.

Recent Activity

timechess authored a paper 15 days ago

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

timechess updated a model 11 months ago

ruc-ai4math/LeanStateSearch2025.3

happyllll updated a model 11 months ago

ruc-ai4math/Lean_State_Search_Random

View all activity

ruc-ai4math 's models 2

ruc-ai4math/LeanStateSearch2025.3

Sentence Similarity • 67M • Updated Mar 11, 2025 • 1 • 1

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7, 2025 • 4