Ujan PRO

Ujan's activity

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

updated a dataset 4 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 4 days ago • 485 • 19

published a dataset 4 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 4 days ago • 485 • 19

updated a dataset 4 days ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated 4 days ago • 2 • 24

published a dataset 4 days ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated 4 days ago • 2 • 24

updated a dataset 4 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated 4 days ago • 509 • 26

published a dataset 4 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated 4 days ago • 509 • 26

updated a dataset 4 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated 4 days ago • 650 • 28

published a dataset 4 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated 4 days ago • 650 • 28

updated a dataset 5 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated 5 days ago • 600 • 25

published a dataset 5 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated 5 days ago • 600 • 25

updated 2 datasets 5 days ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated 5 days ago • 61 • 40

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated 5 days ago • 689 • 25

published a dataset 5 days ago

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated 5 days ago • 689 • 25

updated a dataset 5 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated 5 days ago • 789 • 26

published a dataset 5 days ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated 5 days ago • 789 • 26

updated a dataset 5 days ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated 5 days ago • 1 • 28

published a dataset 5 days ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated 5 days ago • 1 • 28

updated a dataset 5 days ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 5 days ago • 42 • 29

published a dataset 5 days ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 5 days ago • 42 • 29

updated a dataset 5 days ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover

Viewer • Updated 5 days ago • 6 • 53 • 1