Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
ALPS test
Activity Feed
Request to join this org
Follow
2
AI & ML interests
None defined yet.
Recent Activity
lewtun
authored
a paper
12 days ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
lewtun
authored
a paper
about 2 months ago
SmolVLM: Redefining small and efficient multimodal models
lewtun
authored
a paper
2 months ago
Optimizing Test-Time Compute via Meta Reinforcement Fine-Tuning
View all activity
Team members
1
models
0
None public yet
datasets
0
None public yet