Hyunwoo Ko

Cartinoe5930's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset about 7 hours ago

Cartinoe5930/ZZAMTONG

Preview • Updated about 7 hours ago • 463

updated a dataset 26 days ago

Cartinoe5930/DeepSeek-Prover-V2-generation

Viewer • Updated 26 days ago • 60k • 174

liked a dataset 27 days ago

Jiahao004/DeepTheorem

Viewer • Updated 20 days ago • 121k • 2.28k • 22

updated a dataset about 1 month ago

Cartinoe5930/DeepSeek-Prover-V2-dataset-new

Viewer • Updated about 1 month ago • 66.7k • 76

published a dataset about 1 month ago

Cartinoe5930/DeepSeek-Prover-V2-dataset-new

Viewer • Updated about 1 month ago • 66.7k • 76

updated a dataset about 1 month ago

Cartinoe5930/prover_dataset_new

Viewer • Updated about 1 month ago • 66.7k • 90

published a dataset about 1 month ago

Cartinoe5930/prover_dataset_new

Viewer • Updated about 1 month ago • 66.7k • 90

updated 3 datasets about 1 month ago

Cartinoe5930/DeepSeek-Prover-V2-dataset

Viewer • Updated May 26 • 66.7k • 73

Cartinoe5930/prover_dataset

Viewer • Updated May 26 • 66.7k • 82

Cartinoe5930/prover_dataset_100k

Viewer • Updated May 25 • 100k • 82

published a dataset about 1 month ago

Cartinoe5930/prover_dataset_100k

Viewer • Updated May 25 • 100k • 82

updated a dataset about 1 month ago

Cartinoe5930/NR-Qwen3-32B

Viewer • Updated May 23 • 110k • 68

published 2 datasets about 1 month ago

Cartinoe5930/DeepSeek-Prover-V2-generation

Viewer • Updated 26 days ago • 60k • 174

Cartinoe5930/ZZAMTONG

Preview • Updated about 7 hours ago • 463

updated a dataset about 1 month ago

Cartinoe5930/lean_solution

Updated May 21 • 20

published a dataset about 1 month ago

Cartinoe5930/lean_solution

Updated May 21 • 20

authored a paper about 1 month ago

When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research

Paper • 2505.11855 • Published May 17 • 9

updated a dataset about 1 month ago

Cartinoe5930/prover_dedup_informal

Viewer • Updated May 20 • 848k • 25

published a dataset about 1 month ago

Cartinoe5930/prover_dedup_informal

Viewer • Updated May 20 • 848k • 25

updated a dataset about 1 month ago

Cartinoe5930/prover_dropna

Viewer • Updated May 20 • 1.87M • 35