Hyunwoo Ko
Cartinoe5930
AI & ML interests
NLP(LLM)
Recent Activity
updated
a dataset
about 7 hours ago
Cartinoe5930/ZZAMTONG
updated
a dataset
about 2 months ago
Cartinoe5930/DeepSeek-Prover-V2-generation
liked
a dataset
about 2 months ago
Jiahao004/DeepTheorem
Organizations
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
2B
•
Updated
•
2
Cartinoe5930/Ko-TR1-1.5B-v1.1
2B
•
Updated
•
2
Cartinoe5930/qwen_merge
Text Generation
•
8B
•
Updated
•
2
Cartinoe5930/gemma_merge
Text Generation
•
10B
•
Updated
•
4
Cartinoe5930/QAlign-1.5B-stage-2-50K
2B
•
Updated
•
1
Cartinoe5930/QAlign-1.5B-stage-1-50K
2B
•
Updated
•
2
datasets
61
Cartinoe5930/ZZAMTONG
Viewer
•
Updated
•
100k
•
163
Cartinoe5930/DeepSeek-Prover-V2-generation
Viewer
•
Updated
•
60k
•
21
Cartinoe5930/DeepSeek-Prover-V2-dataset-new
Viewer
•
Updated
•
66.7k
•
20
Cartinoe5930/prover_dataset_new
Viewer
•
Updated
•
66.7k
•
21
Cartinoe5930/DeepSeek-Prover-V2-dataset
Viewer
•
Updated
•
66.7k
•
22
Cartinoe5930/prover_dataset
Viewer
•
Updated
•
66.7k
•
20
Cartinoe5930/prover_dataset_100k
Viewer
•
Updated
•
100k
•
20
Cartinoe5930/NR-Qwen3-32B
Viewer
•
Updated
•
110k
•
21
Cartinoe5930/lean_solution
Updated
•
254
Cartinoe5930/prover_dedup_informal
Viewer
•
Updated
•
848k
•
12