Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a collection about 4 hours ago
GSM8K Formal v2 updated a dataset about 7 hours ago
Ujan/math500_formal_kimina_few_shot published a dataset about 7 hours ago
Ujan/math500_formal_kimina_few_shotOrganizations
Auto-formalized versions of GSM8K with the state-of-the-art Goedel-Prover-V2 and filtered using Deepseek-Prover-V2
-
Ujan/gsm8k_formal_goedel_few_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.18k • 19 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B
Viewer • Updated • 1.15k • 7 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.23k • 4 -
Ujan/gsm8k_formal_goedel_few_shot
Viewer • Updated • 1.3k • 3
Auto-formalized versions of GSM8K with the state-of-the-art Goedel-Prover-V2 and filtered using Deepseek-Prover-V2
-
Ujan/gsm8k_formal_goedel_few_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.18k • 19 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B
Viewer • Updated • 1.15k • 7 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.23k • 4 -
Ujan/gsm8k_formal_goedel_few_shot
Viewer • Updated • 1.3k • 3
models 8
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_10000_seq_2048_epoch_1
Text Generation • 4B • Updated • 4
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_50000_seq_16384_epoch_1
Text Generation • 4B • Updated • 2
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_50000_seq_8192_epoch_1
Text Generation • 4B • Updated • 4
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_50000_seq_4096_epoch_1
Text Generation • 4B • Updated • 5
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_10000_seq_16384_epoch_1
Text Generation • 4B • Updated • 3
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_10000_seq_4096_epoch_1
Text Generation • 4B • Updated • 3 •
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_10000_seq_8192_epoch_1
Text Generation • 4B • Updated • 2
Ujan/whisper-small_moe_k_means
Automatic Speech Recognition • Updated • 2
datasets 41
Ujan/math500_formal_kimina_few_shot
Viewer • Updated • 456
Ujan/gsm8k_formal_goedel_kimina_few_shot
Viewer • Updated • 1.3k
Ujan/deepmath_trace_10
Viewer • Updated • 9 • 6
Ujan/deepmath_trace_9
Viewer • Updated • 4.22k • 7
Ujan/deepmath_trace_8
Viewer • Updated • 47k • 13
Ujan/deepmath_trace_7
Viewer • Updated • 45.9k • 14
Ujan/deepmath_trace_6
Viewer • Updated • 75.7k • 19
Ujan/deepmath_trace_5
Viewer • Updated • 93.4k • 19
Ujan/deepmath_trace_4
Viewer • Updated • 29.5k • 11
Ujan/deepmath_trace_3
Viewer • Updated • 12.3k • 13