AlgorithmicResearchGroup/math_reasoning_autoformalization_track_test
Viewer
•
Updated
•
991
•
31
AI & ML interests
None defined yet.
Recent Activity
View all activity
AlgorithmicResearchGroup/math_reasoning_autoformalization_track
Viewer
•
Updated
•
3.96k
•
147
•
3
AlgorithmicResearchGroup/arxiv_research_code
Viewer
•
Updated
•
4.72M
•
46
•
3
AlgorithmicResearchGroup/ArXivDLInstruct
Viewer
•
Updated
•
778k
•
9
•
15
AlgorithmicResearchGroup/arxiv_cplusplus_research_code
Viewer
•
Updated
•
1.63M
•
278
•
6
AlgorithmicResearchGroup/arxiv_nlp_intstruct
Viewer
•
Updated
•
36.9k
•
37
•
8
AlgorithmicResearchGroup/arxiv_python_research_code
Viewer
•
Updated
•
1.42M
•
15
•
4
AlgorithmicResearchGroup/arxiv_s2orc_parsed
Viewer
•
Updated
•
1.67M
•
55
•
15
AlgorithmicResearchGroup/arxiv-beir-500k-generated-queries
Viewer
•
Updated
•
1.48M
•
7
AlgorithmicResearchGroup/arxiv-math-instruct-50k
Viewer
•
Updated
•
50.5k
•
19
AlgorithmicResearchGroup/arxiv-beir-100k-generated-queries
Viewer
•
Updated
•
296k
•
8
AlgorithmicResearchGroup/arxiv-physics-instruct-tune-30k
Viewer
•
Updated
•
30.2k
•
16
AlgorithmicResearchGroup/arxiv-cs-ml-instruct-tune-50k
Viewer
•
Updated
•
50.1k
•
13
AlgorithmicResearchGroup/edge_llm_training
Viewer
•
Updated
•
1.04M
•
19
AlgorithmicResearchGroup/llm_merging
Viewer
•
Updated
•
52.5k
•
11
AlgorithmicResearchGroup/minipile
Viewer
•
Updated
•
1.01M
•
11
AlgorithmicResearchGroup/budget_model_train
Viewer
•
Updated
•
133k
•
8
AlgorithmicResearchGroup/budget_model_inference
Viewer
•
Updated
•
30.8k
•
10
AlgorithmicResearchGroup/math_reasoning_autoinformalization_track_1_2
Viewer
•
Updated
•
9.73k
•
27
AlgorithmicResearchGroup/math_reasoning_autoformalization_track_1
Viewer
•
Updated
•
9.73k
•
23
AlgorithmicResearchGroup/math_reasoning_automated_problem_solving_with_code_track_3
Viewer
•
Updated
•
1.42k
•
28
•
1
AlgorithmicResearchGroup/babylm
Viewer
•
Updated
•
18
•
8
AlgorithmicResearchGroup/arxiv_java_research_code
Viewer
•
Updated
•
615k
•
8
•
1