Article
Kimina-Prover-RL
AI-MO
• • 17
Alexander Vavilkin
AlexVav01
AI & ML interests
None yet
Recent Activity
liked a model 7 days ago
yandex/AliceAI-Foundation-80B-A3B-Base updated a model 3 months ago
AlexVav01/lean4-autoformalizer-sft published a model 3 months ago
AlexVav01/lean4-autoformalizer-sftOrganizations
None yet
upvoted an article 10 months ago