Ujan PRO

Ujan's activity

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

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated May 20 • 485 • 16

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated May 20 • 485 • 16

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated May 19 • 2 • 17

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

Viewer • Updated May 19 • 2 • 17

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated May 19 • 509 • 18

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge

Viewer • Updated May 19 • 509 • 18

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated May 19 • 650 • 16

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated May 19 • 650 • 16

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated May 19 • 600 • 15

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_granite-4.1-8b_prover

Viewer • Updated May 19 • 600 • 15

updated 2 datasets about 1 month ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover

Viewer • Updated May 19 • 61 • 15

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated May 19 • 689 • 15

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_granite-4.1-8b

Viewer • Updated May 19 • 689 • 15

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated May 19 • 789 • 15

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it

Viewer • Updated May 19 • 789 • 15

updated a dataset about 1 month ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated May 18 • 1 • 16

published a dataset about 1 month ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge

Viewer • Updated May 18 • 1 • 16

updated a dataset about 1 month ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated May 18 • 42 • 15

published a dataset about 1 month ago

Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge

Viewer • Updated May 18 • 42 • 15

updated a dataset about 1 month ago

Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover

Viewer • Updated May 18 • 6 • 27 • 1