ucr-rai/hmmt2025feb_k8_hybrid_no_translate_for_dspv2_prove_nl
Viewer • Updated • 194 • 48
UCR RAI
university
AI & ML interests
None defined yet.
ucr-rai/hmmt2025feb_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 205 • 50
ucr-rai/aime2025_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 205 • 45
ucr-rai/aime2024_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 236 • 51
ucr-rai/amc23_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 274 • 49
ucr-rai/amc83_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 722 • 58
ucr-rai/olympiadbench_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 4.76k • 87
ucr-rai/math500_k8_brute_for_dspv2_prove_nl
Viewer • Updated • 4.36k • 57
ucr-rai/numina_train_problem_with_answer1_canon_60k_70k
Viewer • Updated • 9.68k • 13
ucr-rai/numina_train_problem_with_answer1_canon_10k_20k
Viewer • Updated • 9.75k • 14
ucr-rai/numina_train_problem_with_answer1_canon_30k_40k
Viewer • Updated • 9.89k • 14
ucr-rai/numina_train_problem_with_answer1_canon_40k_50k
Viewer • Updated • 9.79k • 12
ucr-rai/numina_train_problem_with_answer1_canon_50k_60k
Viewer • Updated • 9.72k • 11
ucr-rai/numina_train_70k_problem_with_answer1
Viewer • Updated • 58.8k • 8
ucr-rai/numina_train_clean_70k
Viewer • Updated • 70k • 5
ucr-rai/numina_train_replacement_functions
Viewer • Updated • 20k • 23
ucr-rai/numina_train_formal_with_answer2_verified
Viewer • Updated • 6.09k • 7