arxiv:2505.23754
Ziyin Zhang
Geralt-Targaryen
AI & ML interests
None yet
Recent Activity
upvoted
a
collection
2 days ago
DeepTheorem
liked
a dataset
6 days ago
Jiahao004/DeepTheorem
authored
a paper
6 days ago
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural
Language and Reinforcement Learning
Organizations
models
5
datasets
26
Geralt-Targaryen/Children-zh
Viewer
•
Updated
•
12.9M
•
280
•
2
Geralt-Targaryen/Wiki-zh
Viewer
•
Updated
•
2.02M
•
41
Geralt-Targaryen/CC-zh
Viewer
•
Updated
•
536M
•
83
Geralt-Targaryen/pretrain
Updated
•
20
Geralt-Targaryen/webnovels
Viewer
•
Updated
•
16.5k
•
27
Geralt-Targaryen/Literature-zh
Viewer
•
Updated
•
46.2M
•
198
Geralt-Targaryen/C4-zh
Viewer
•
Updated
•
26M
•
71
Geralt-Targaryen/openwebtext2
Viewer
•
Updated
•
12.3M
•
193
Geralt-Targaryen/CC-News
Viewer
•
Updated
•
97.2M
•
703
Geralt-Targaryen/stack
Viewer
•
Updated
•
63.3M
•
331
•
1