Ebony Zhang's picture

1 1

Ebony Zhang

ebony59

·

Ebony59

AI & ML interests

None yet

Recent Activity

published an article 11 days ago

Kimina-Prover-RL

upvoted an article about 2 months ago

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

published an article about 2 months ago

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

View all activity

Organizations

ebony59 's datasets 6

ebony59/MATH-lighteval-gen-correct

Viewer • Updated Jun 9 • 10.3k • 9

ebony59/MATH-lighteval-gen

Viewer • Updated Jun 3 • 10.3k • 4

ebony59/MATH-lighteval-gen-test

Viewer • Updated Jun 3 • 11.7k • 12

ebony59/gsm8k-gen-stepwise

Viewer • Updated Apr 24 • 50.9k • 4

ebony59/gsm8k-gen-max-distance-sel

Viewer • Updated Apr 22 • 13.8k • 3

ebony59/loong_advanced_physics_Olympiadbench

Viewer • Updated Mar 15 • 10 • 6