·
AI & ML interests
None yet
Organizations
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models
15
ebony59/qwen2.5-3b-raft-math500
Updated
ebony59/Qwen2.5-3B-MATH-lighteval-gen-SFT-15epoch
Text Generation
•
3B
•
Updated
•
10
ebony59/Qwen2.5-3B-MATH-lighteval-gen-SFT-8epoch
Text Generation
•
3B
•
Updated
•
7
ebony59/Qwen2.5-3B-MATH-lighteval-gen-SFT
Text Generation
•
3B
•
Updated
•
5
ebony59/Qwen2.5-1.5B-MATH-lighteval-gen-SFT
Text Generation
•
2B
•
Updated
•
9
ebony59/phi3.5-gsm8k-syn-FT-reward
Text Generation
•
4B
•
Updated
•
4
ebony59/flux1-replicate-athome-lr4e-5
Text-to-Image
•
Updated
•
12
•
ebony59/flux1-replicate-athome-batch4-lr1e-5
Text-to-Image
•
Updated
•
4
•
ebony59/flux1-replicate-athome-1
Text-to-Image
•
Updated
•
6
•
ebony59/flux1-replicate-athome
Text-to-Image
•
Updated
•
7
•