Alexander Vavilkin

AlexVav01's activity

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

liked a model 7 days ago

yandex/AliceAI-Foundation-80B-A3B-Base

Text Generation • 81B • Updated 4 days ago • 2.91k • 336

updated a model 3 months ago

AlexVav01/lean4-autoformalizer-sft

Text Generation • 8B • Updated Jun 20 • 11

published a model 3 months ago

AlexVav01/lean4-autoformalizer-sft

Text Generation • 8B • Updated Jun 20 • 11

updated a dataset 3 months ago

AlexVav01/autoformalization-clean

Viewer • Updated Jun 18 • 31.1k • 7

published a dataset 3 months ago

AlexVav01/autoformalization-clean

Viewer • Updated Jun 18 • 31.1k • 7

updated a dataset 3 months ago

AlexVav01/FormalMath-formalization

Viewer • Updated Jun 17 • 425 • 20

published a dataset 3 months ago

AlexVav01/FormalMath-formalization

Viewer • Updated Jun 17 • 425 • 20

updated a dataset 3 months ago

AlexVav01/autoformalization-bench

Viewer • Updated Jun 14 • 1.5k • 8

published a dataset 3 months ago

AlexVav01/autoformalization-bench

Viewer • Updated Jun 14 • 1.5k • 8

liked a Space 10 months ago

Running

Agents

6

RAG Benchmark Leaderboard

📚

6

Explore RAG benchmark results with interactive charts

upvoted an article 10 months ago

view article

Article

Kimina-Prover-RL

• 

AI-MO

•

Aug 14, 2025

• 17

liked a model over 2 years ago

cointegrated/rubert-tiny2

Sentence Similarity • 29.4M • Updated Dec 30, 2025 • 291k • • 179