Ujan PRO

Ujan

1

·

tatami-galaxy

AI & ML interests

NLP, Speech

Recent Activity

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

published a dataset about 1 month ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

updated a dataset about 1 month ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

View all activity

Organizations

Ujan 's datasets 103

Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B

Viewer • Updated Nov 3, 2025 • 1.15k • 9

Ujan/gsm8k_formal_goedel_few_shot_filtered_DeepSeek-Prover-V2-7B

Viewer • Updated Nov 3, 2025 • 967 • 6

Ujan/gsm8k_formal_goedel_zero_shot

Viewer • Updated Nov 1, 2025 • 1.31k • 5

Ujan/gsm8k_formal_goedel_few_shot

Viewer • Updated Nov 1, 2025 • 1.3k • 12

Ujan/prm800k_goedel_form_few_shot_v2

Viewer • Updated Oct 19, 2025 • 7 • 4

Ujan/prm800k_goedel_form_v2

Viewer • Updated Oct 19, 2025 • 60.5k • 10

Ujan/prm800k_goedel_form_few_shot

Viewer • Updated Oct 15, 2025 • 9 • 4

Ujan/prm800k_few_shot_data

Viewer • Updated Oct 15, 2025 • 728 • 4

Ujan/prm800k_goedel_form

Viewer • Updated Oct 15, 2025 • 59.6k • 4

Ujan/prm800k_phase2_no_geom_processed

Viewer • Updated Oct 10, 2025 • 74.5k • 31

Ujan/prm800k_phase2_no_geom

Viewer • Updated Oct 5, 2025 • 74.5k • 6

Ujan/mmlu_gpt4o

Viewer • Updated Jul 28, 2025 • 1.23k • 9

Ujan/mmlu_hs_adv_val

Viewer • Updated Jul 22, 2025 • 760 • 6