Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Open to Collab
144.5
TFLOPS
660
3042
2601
taesiri
PRO
taesiri
Follow
Ningyu's profile picture
franciszzj's profile picture
4444Harsh's profile picture
317 followers
ยท
98 following
https://taesiri.ai/
taesiri
taesiri
taesiri
AI & ML interests
AGI ... one linear layer at a time
Recent Activity
updated
a dataset
1 day ago
taesiri/ArXivSignals
published
a dataset
1 day ago
taesiri/ArXivSignals
upvoted
a
paper
1 day ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
View all activity
Organizations
taesiri
's papers
16
arxiv:
2604.22875
arxiv:
2507.07202
arxiv:
2505.23941
arxiv:
2505.18545
arxiv:
2505.16181
arxiv:
2505.15952
arxiv:
2503.02003
arxiv:
2502.09696
arxiv:
2407.15295
arxiv:
2407.06581
arxiv:
2404.05238
arxiv:
2312.05291
arxiv:
2304.05538
arxiv:
2210.02506
arxiv:
2208.00780
arxiv:
2203.11096