AlgorithmicResearchGroup/math_reasoning_autoformalization_track_test
Viewer
•
Updated
•
991
•
18
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
•
4
•
3
AlgorithmicResearchGroup/ArXivDLInstruct
Viewer
•
Updated
•
778k
•
3
•
15
AlgorithmicResearchGroup/arxiv_cplusplus_research_code
Viewer
•
Updated
•
1.63M
•
5
•
6
AlgorithmicResearchGroup/arxiv_nlp_intstruct
Viewer
•
Updated
•
36.9k
•
24
•
8
AlgorithmicResearchGroup/arxiv_python_research_code
Viewer
•
Updated
•
1.42M
•
5
•
4
AlgorithmicResearchGroup/arxiv_s2orc_parsed
Viewer
•
Updated
•
1.67M
•
15
AlgorithmicResearchGroup/arxiv-beir-500k-generated-queries
Viewer
•
Updated
•
1.48M
•
7
AlgorithmicResearchGroup/arxiv-math-instruct-50k
Viewer
•
Updated
•
50.5k
•
20
AlgorithmicResearchGroup/arxiv-beir-100k-generated-queries
Viewer
•
Updated
•
296k
•
15
AlgorithmicResearchGroup/arxiv-physics-instruct-tune-30k
Viewer
•
Updated
•
30.2k
•
27
AlgorithmicResearchGroup/arxiv-cs-ml-instruct-tune-50k
Viewer
•
Updated
•
50.1k
•
23
AlgorithmicResearchGroup/edge_llm_training
Viewer
•
Updated
•
1.04M
•
24
AlgorithmicResearchGroup/llm_merging
Viewer
•
Updated
•
52.5k
•
11
AlgorithmicResearchGroup/minipile
Viewer
•
Updated
•
1.01M
•
16
AlgorithmicResearchGroup/budget_model_train
Viewer
•
Updated
•
133k
•
15
AlgorithmicResearchGroup/budget_model_inference
Viewer
•
Updated
•
30.8k
•
15
AlgorithmicResearchGroup/math_reasoning_autoinformalization_track_1_2
Viewer
•
Updated
•
9.73k
•
15
AlgorithmicResearchGroup/math_reasoning_autoformalization_track_1
Viewer
•
Updated
•
9.73k
•
12
AlgorithmicResearchGroup/math_reasoning_automated_problem_solving_with_code_track_3
Viewer
•
Updated
•
1.42k
•
9
•
1
AlgorithmicResearchGroup/babylm
Viewer
•
Updated
•
18
•
14
AlgorithmicResearchGroup/arxiv_java_research_code
Viewer
•
Updated
•
615k
•
1