victor muchina
vicmuchina
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
29 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical
Formalization
liked
a model
8 months ago
bartowski/QwQ-32B-Preview-exl2
Organizations
None yet