Chendong Song's picture

1

Chendong Song

Cosmoscd

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

AI-MO/GeometryLeanBench

upvoted an article about 2 months ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

published a dataset about 2 months ago

Cosmoscd/GeometryLeanPrompt0415

View all activity

Organizations

Cosmoscd 's datasets 2

Cosmoscd/GeometryLeanPrompt0415

Updated Jul 2 • 1

Cosmoscd/RLtraindata

Updated May 6 • 1