Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
11
11
13
Shansan Gong
Sansa
Follow
21world's profile picture
kiaia's profile picture
Cie1's profile picture
6 followers
ยท
8 following
https://summmeer.github.io/
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
6 days ago
PromptCoT 2.0: Scaling Prompt Synthesis for Large Language Model Reasoning
upvoted
a
paper
17 days ago
ScaleCUA: Scaling Open-Source Computer Use Agents with Cross-Platform Data
upvoted
a
paper
19 days ago
EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
View all activity
Organizations
Papers
7
arxiv:
2506.20639
arxiv:
2410.17891
arxiv:
2402.17463
arxiv:
2402.13577
Expand 7 papers
models
0
None public yet
datasets
0
None public yet