Hyunwoo Ko
Cartinoe5930
AI & ML interests
NLP(LLM)
Recent Activity
updated
a dataset
7 days ago
Cartinoe5930/DeepSeek-Prover-V2-generation
liked
a dataset
7 days ago
Jiahao004/DeepTheorem
updated
a dataset
10 days ago
Cartinoe5930/ZZAMTONG
Organizations
Collections
1
spaces
1
models
59
Cartinoe5930/Div-Qwen2.5-Math-1.5B-Instruct-Original
Updated
Cartinoe5930/Div-Qwen2.5-Math-1.5B-Original
Updated
Cartinoe5930/Div-Qwen2.5-1.5B-Instruct-Original
Updated
Cartinoe5930/Div-Qwen2.5-1.5B-Original
Updated
Cartinoe5930/UST-1.5B-LORA-v1
Updated
•
4
Cartinoe5930/Ko-TR1-1.5B-v1.1
Updated
•
4
Cartinoe5930/qwen_merge
Text Generation
•
Updated
•
7
Cartinoe5930/gemma_merge
Text Generation
•
Updated
•
6
Cartinoe5930/QAlign-1.5B-stage-2-50K
Updated
•
1
Cartinoe5930/QAlign-1.5B-stage-1-50K
Updated
•
3
datasets
61
Cartinoe5930/DeepSeek-Prover-V2-generation
Viewer
•
Updated
•
60k
•
184
Cartinoe5930/ZZAMTONG
Preview
•
Updated
•
274
Cartinoe5930/DeepSeek-Prover-V2-dataset-new
Viewer
•
Updated
•
66.7k
•
57
Cartinoe5930/prover_dataset_new
Viewer
•
Updated
•
66.7k
•
71
Cartinoe5930/DeepSeek-Prover-V2-dataset
Viewer
•
Updated
•
66.7k
•
104
Cartinoe5930/prover_dataset
Viewer
•
Updated
•
66.7k
•
116
Cartinoe5930/prover_dataset_100k
Viewer
•
Updated
•
100k
•
65
Cartinoe5930/NR-Qwen3-32B
Viewer
•
Updated
•
110k
•
144
Cartinoe5930/lean_solution
Updated
•
35
Cartinoe5930/prover_dedup_informal
Viewer
•
Updated
•
848k
•
35