haoranli-ml/IMOProofBench-Adv
Viewer • Updated • 30
Haoran Li PRO
haoranli-ml
·
AI & ML interests
ML, RL, Foundation Models
Recent Activity
updated a dataset about 12 hours ago
haoranli-ml/IMOProofBench-Adv published a dataset about 12 hours ago
haoranli-ml/IMOProofBench-Adv published a model 6 days ago
haoranli-ml/genvf-v9_1-nextN-start-300Organizations
haoranli-ml/prolong-ultrachat-gemma
Updated • 133
haoranli-ml/prolong-data-64K-gemma
Updated • 1.26k
haoranli-ml/genvf-data-generator-100prefix-v1
Viewer • Updated • 110 • 24
haoranli-ml/genvf-filtered-proof-graded_score7_only_with_summaries-full
Viewer • Updated • 1.11k • 27
haoranli-ml/genvf-tcs-full-prl-train-prompt_v2
Viewer • Updated • 2.78k • 24
haoranli-ml/genvf-tcs-full-prl-train
Viewer • Updated • 2.78k • 25
haoranli-ml/genvf-tcs-full
Viewer • Updated • 1.42k • 32
haoranli-ml/tcs-stage1-suffixes-cross
Viewer • Updated • 2.32k • 41
haoranli-ml/genvf-tcs-prefix
Viewer • Updated • 2.32k • 30
haoranli-ml/genvf-tcs
Viewer • Updated • 435 • 62
haoranli-ml/VB
Viewer • Updated • 45 • 43
haoranli-ml/genvf-filtered-answer-only-K4-summaries-nextN-prl-train
Viewer • Updated • 5.25k • 57
haoranli-ml/genvf-filtered-proof-graded_score7_only-K4-summaries-nextN-prl-train
Viewer • Updated • 2.1k • 51
haoranli-ml/genvf-filtered-answer-only-K4-summaries-nextN
Viewer • Updated • 2.65k • 46
haoranli-ml/genvf-filtered-proof-graded_score7_only-K4-summaries-nextN
Viewer • Updated • 1.06k • 39
haoranli-ml/genvf-filtered-answer-only
Viewer • Updated • 2.68k • 55
haoranli-ml/genvf-filtered-proof-graded_score7_only_with_summaries_prl_training-nextN
Viewer • Updated • 2.18k • 225
haoranli-ml/genvf-filtered-proof-graded_score7_only_with_summaries
Viewer • Updated • 1.1k • 18
haoranli-ml/genvf-filtered-proof-graded_score7_only
Viewer • Updated • 1.11k • 17
haoranli-ml/genvf-filtered-proof-graded_score7_only_test
Viewer • Updated • 26 • 77
haoranli-ml/genvf-filtered-proof-graded-test
Viewer • Updated • 43 • 19
haoranli-ml/genvf-filtered-proof-graded
Viewer • Updated • 1.79k • 6
haoranli-ml/sample-summary
Viewer • Updated • 36 • 7
haoranli-ml/genvf-filtered-proof-only-train
Viewer • Updated • 3.61k • 8
haoranli-ml/genvf-filtered-proof-only
Viewer • Updated • 1.83k • 5
haoranli-ml/genvf-sdpo-filtered_0.6
Viewer • Updated • 4.51k • 4
haoranli-ml/genvf-multi-policy-train-v1_final_bulle_list_final_filtered_threshold_0.6
Viewer • Updated • 8.92k • 46
haoranli-ml/genvf-multi-policy-train-v1_final_bulle_list_final_filtered_threshold_0.6_before_double
Viewer • Updated • 5.32k • 25
haoranli-ml/genvf-multi-policy-train-v1_final_bulle_list_final_filtered
Viewer • Updated • 10.5k • 25