Ujan/lts_DeepMath-103K_samples_10000_seq_16384_Qwen3-30B-A3B-Thinking-2507_22_23_24_0.8 Viewer • Updated about 1 month ago • 11k • 8
Ujan/lts_pruned_DeepMath-103K_samples_10000_seq_16384_Qwen3-4B-Thinking-2507_17_18_19_0.5 Viewer • Updated about 1 month ago • 11k • 9
Ujan/lts_pruned_processed_DeepMath-103K_samples_50000_seq_16384_Qwen3-4B-Thinking-2507_sparsity_0.5 Viewer • Updated Nov 30, 2025 • 51k • 10
Ujan/lts_pruned_processed_DeepMath-103K_samples_10000_seq_16384_Qwen3-4B-Thinking-2507_sparsity_0.8 Viewer • Updated Nov 30, 2025 • 11k • 8
Ujan/lts_pruned_processed_DeepMath-103K_samples_10000_seq_16384_Qwen3-4B-Thinking-2507_sparsity_0.5 Viewer • Updated Nov 29, 2025 • 11k • 7
Ujan/gsm8k_formal_goedel_zero_shot_filtered_Goedel-Prover-V2-32B Viewer • Updated Nov 4, 2025 • 1.23k • 3
Ujan/gsm8k_formal_goedel_few_shot_filtered_Goedel-Prover-V2-32B Viewer • Updated Nov 3, 2025 • 1.18k • 2
Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B Viewer • Updated Nov 3, 2025 • 1.15k • 2
Ujan/gsm8k_formal_goedel_few_shot_filtered_DeepSeek-Prover-V2-7B Viewer • Updated Nov 3, 2025 • 967 • 4