Ujan's picture

1

Ujan PRO

Ujan

·

tatami-galaxy

AI & ML interests

NLP, Speech

Recent Activity

updated a dataset about 2 hours ago

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge

published a dataset about 2 hours ago

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge

updated a dataset about 2 hours ago

Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover_judge

View all activity

Organizations

Ujan 's datasets 66

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge

Viewer • Updated about 2 hours ago • 719

Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover_judge

Viewer • Updated about 2 hours ago • 520

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge

Viewer • Updated about 13 hours ago • 384 • 3

Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judge

Viewer • Updated about 14 hours ago • 498 • 3

Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover

Viewer • Updated about 16 hours ago • 691 • 4

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover_judge

Viewer • Updated about 19 hours ago • 636 • 5

Ujan/gsm8k_formal_eval_Qwen3-8B_prover_judge

Viewer • Updated about 19 hours ago • 668 • 5

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge

Viewer • Updated about 20 hours ago • 20 • 5

Ujan/gsm8k_formal_eval_Falcon-H1R-7B

Viewer • Updated about 21 hours ago • 759 • 16

Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover

Viewer • Updated 1 day ago • 676 • 13

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover

Viewer • Updated 1 day ago • 639 • 12

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover

Viewer • Updated 2 days ago • 32 • 13

Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2

Viewer • Updated 2 days ago • 797 • 15

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512

Viewer • Updated 2 days ago • 44 • 12

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover

Viewer • Updated 2 days ago • 821 • 11

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover

Viewer • Updated 2 days ago • 764 • 14

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think

Viewer • Updated 2 days ago • 733 • 13

Ujan/gsm8k_formal_eval_Qwen3.5-9B

Viewer • Updated 3 days ago • 837 • 14

Ujan/gsm8k_formal_eval_Qwen3-8B_prover

Viewer • Updated 3 days ago • 799 • 15

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507

Viewer • Updated 3 days ago • 885 • 14

Ujan/gsm8k_formal_eval_Qwen3-8B

Viewer • Updated 3 days ago • 880 • 18

Ujan/gsm8k_formal_prover_judge

Viewer • Updated 5 days ago • 886 • 52

Ujan/math_500_formal_prover_judge

Viewer • Updated 5 days ago • 195 • 21

Ujan/math500_formal_prover

Viewer • Updated 6 days ago • 234 • 19

Ujan/gsm8k_formal_prover

Viewer • Updated 7 days ago • 1.15k • 19

Ujan/math500_formal

Viewer • Updated 7 days ago • 456 • 19

Ujan/gsm8k_formal

Viewer • Updated 8 days ago • 1.3k • 12

Ujan/deepmath_trace_10

Viewer • Updated Mar 14 • 9 • 18

Ujan/deepmath_trace_9

Viewer • Updated Mar 14 • 4.22k • 10

Ujan/deepmath_trace_8

Viewer • Updated Mar 14 • 47k • 23