victor muchina

vicmuchina's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 6 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8 • 44

upvoted an article about 1 year ago

view article

Article

Powerful ASR + diarization + speculative decoding with Hugging Face Inference Endpoints

• 
• 
• +2

May 1, 2024

•

80