·
AI & ML interests
None yet
Recent Activity
Organizations
AndrewZeng/metamath_trn_3epoch_syn_40w_infer_part_2
Viewer
•
Updated
•
81.9k
•
9
AndrewZeng/metamath_trn_3epoch_syn_40w_infer_part_1
Viewer
•
Updated
•
81.9k
•
10
AndrewZeng/metamath_less_resp_query_part_4
Viewer
•
Updated
•
27.5k
•
8
AndrewZeng/metamath_less_resp_query_part_3
Viewer
•
Updated
•
27.5k
•
9
AndrewZeng/metamath_less_resp_query_part_2
Viewer
•
Updated
•
27.5k
•
9
AndrewZeng/metamath_less_resp_query_part_1
Viewer
•
Updated
•
27.5k
•
9
AndrewZeng/veryhard_query_part_4
Viewer
•
Updated
•
155
•
8
AndrewZeng/veryhard_query_part_3
Viewer
•
Updated
•
158
•
8
AndrewZeng/veryhard_query_part_2
Viewer
•
Updated
•
158
•
9
AndrewZeng/veryhard_query_part_1
Viewer
•
Updated
•
158
•
7
AndrewZeng/metamath_trn_3epoch_syn_20w_infer_part_4
Viewer
•
Updated
•
39.8k
•
13
AndrewZeng/metamath_trn_3epoch_syn_20w_infer_part_3
Viewer
•
Updated
•
39.8k
•
11
AndrewZeng/metamath_trn_3epoch_syn_20w_infer_part_2
Viewer
•
Updated
•
39.8k
•
10
AndrewZeng/metamath_trn_3epoch_syn_20w_infer_part_1
Viewer
•
Updated
•
39.8k
•
10
AndrewZeng/metamath_hardquery_infer_part_4
Viewer
•
Updated
•
1.99k
•
11
AndrewZeng/metamath_hardquery_infer_part_3
Viewer
•
Updated
•
1.99k
•
9
AndrewZeng/metamath_hardquery_infer_part_2
Viewer
•
Updated
•
1.99k
•
12
AndrewZeng/metamath_hardquery_infer_part_1
Viewer
•
Updated
•
1.99k
•
8
AndrewZeng/syn_180k_data_4infer_part_4
Viewer
•
Updated
•
47k
•
6
AndrewZeng/syn_180k_data_4infer_part_3
Viewer
•
Updated
•
47k
•
10
AndrewZeng/syn_180k_data_4infer_part_2
Viewer
•
Updated
•
47k
•
7
AndrewZeng/syn_180k_data_4infer_part_1
Viewer
•
Updated
•
47k
•
7
AndrewZeng/syn180k_10times
AndrewZeng/train_only_forth_syn
Viewer
•
Updated
•
46k
•
11
AndrewZeng/train_only_third_syn
Viewer
•
Updated
•
34.5k
•
9
AndrewZeng/train_only_twice_syn
Viewer
•
Updated
•
23k
•
10
AndrewZeng/deita_sota_pool
Preview
•
Updated
•
25
•
1
AndrewZeng/train_ppo_1to5_mix_forth_syn
Viewer
•
Updated
•
57.5k
•
12
AndrewZeng/train_ppo_1to5_mix_third_syn
Viewer
•
Updated
•
46k
•
7
AndrewZeng/train_ppo_1to5_mix_twice_syn
Viewer
•
Updated
•
34.5k
•
13