Ujan PRO

Ujan's activity

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

updated a dataset 2 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 2 days ago • 485 • 13

published a dataset 2 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 2 days ago • 485 • 13

updated a dataset 2 days ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated 2 days ago • 2 • 16

published a dataset 2 days ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated 2 days ago • 2 • 16

updated a dataset 3 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated 3 days ago • 509 • 20

published a dataset 3 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated 3 days ago • 509 • 20

updated a dataset 3 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated 3 days ago • 650 • 22

published a dataset 3 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated 3 days ago • 650 • 22

updated a dataset 3 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated 3 days ago • 600 • 20

published a dataset 3 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated 3 days ago • 600 • 20

updated 2 datasets 3 days ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated 3 days ago • 61 • 37

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated 3 days ago • 689 • 20

published a dataset 3 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated 3 days ago • 689 • 20

updated a dataset 3 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated 3 days ago • 789 • 22

published a dataset 3 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated 3 days ago • 789 • 22

updated a dataset 4 days ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated 4 days ago • 1 • 25

published a dataset 4 days ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated 4 days ago • 1 • 25

updated a dataset 4 days ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 4 days ago • 42 • 26

published a dataset 4 days ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 4 days ago • 42 • 26

updated a dataset 4 days ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover

Viewer • Updated 4 days ago • 6 • 40 • 1