Ujan PRO

Ujan's activity

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

updated a dataset about 2 hours ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated about 2 hours ago • 2

published a dataset about 2 hours ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated about 2 hours ago • 2

updated a dataset about 6 hours ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated about 6 hours ago • 509

published a dataset about 6 hours ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated about 6 hours ago • 509

updated a dataset about 7 hours ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated about 7 hours ago • 650

published a dataset about 7 hours ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated about 7 hours ago • 650

updated a dataset about 12 hours ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated about 12 hours ago • 600

published a dataset about 12 hours ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated about 12 hours ago • 600

updated a dataset about 14 hours ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated about 14 hours ago • 61 • 14

updated a dataset about 18 hours ago

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated about 18 hours ago • 689

published a dataset about 18 hours ago

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated about 18 hours ago • 689

updated a dataset about 18 hours ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated about 18 hours ago • 789

published a dataset about 18 hours ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated about 18 hours ago • 789

updated a dataset 1 day ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated 1 day ago • 1 • 10

published a dataset 1 day ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated 1 day ago • 1 • 10

updated a dataset 1 day ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 1 day ago • 42 • 11

published a dataset 1 day ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated 1 day ago • 42 • 11

updated a dataset 1 day ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover

Viewer • Updated 1 day ago • 6 • 16 • 1

published 2 datasets 1 day ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover

Viewer • Updated 1 day ago • 6 • 16 • 1

Ujan/math500_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated about 14 hours ago • 61 • 14