Ujan/self-distill-checkpoints
1.04 TB
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a bucket 8 minutes ago
Ujan/self-distill-checkpoints published a bucket 31 minutes ago
Ujan/self-distill-checkpoints updated a dataset 2 months ago
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judgeOrganizations
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 • 9 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B
Viewer • Updated • 1.15k • 8 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.23k • 8 -
Ujan/gsm8k_formal_goedel_few_shot
Viewer • Updated • 1.3k • 8
Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models
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 • 9 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B
Viewer • Updated • 1.15k • 8 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.23k • 8 -
Ujan/gsm8k_formal_goedel_few_shot
Viewer • Updated • 1.3k • 8
models 8
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_10000_seq_2048_epoch_1
Text Generation • 4B • Updated • 3 •
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_50000_seq_16384_epoch_1
Text Generation • 4B • Updated • 4
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_50000_seq_8192_epoch_1
Text Generation • 4B • Updated • 6
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_50000_seq_4096_epoch_1
Text Generation • 4B • Updated • 3
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 • 5 •
Ujan/Qwen3-4B-Base_DeepMath-103K_samples_10000_seq_8192_epoch_1
Text Generation • 4B • Updated • 4
Ujan/whisper-small_moe_k_means
Automatic Speech Recognition • Updated • 4
datasets 102
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge
Viewer • Updated • 485 • 19
Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning
Viewer • Updated • 2 • 19
Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge
Viewer • Updated • 509 • 11
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover
Viewer • Updated • 650 • 12
Ujan/gsm8k_formal_eval_granite-4.1-8b_prover
Viewer • Updated • 600 • 35
Ujan/math500_formal_eval_gemma-4-E4B-it_prover
Viewer • Updated • 61 • 16
Ujan/gsm8k_formal_eval_granite-4.1-8b
Viewer • Updated • 689 • 9
Ujan/gsm8k_formal_eval_gemma-4-E4B-it
Viewer • Updated • 789 • 13
Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge
Viewer • Updated • 1 • 28
Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge
Viewer • Updated • 42 • 35