Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512
Viewer • Updated
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a dataset about 3 hours ago
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512 published a dataset about 3 hours ago
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512 updated a dataset 8 days ago
Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judgeOrganizations
updated a
dataset about 3 hours ago
published a
dataset about 3 hours ago
updated a
dataset 8 days ago
published a
dataset 8 days ago
updated a
dataset 8 days ago
published a
dataset 8 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago
updated a
dataset 9 days ago
published a
dataset 9 days ago