Vasily Ilin's picture

1 2 1

Vasily Ilin

Vilin97

·

Vilin97

AI & ML interests

None yet

Recent Activity

liked a model 14 days ago

ruc-ai4math/LeanStateSearch2025.3

upvoted a paper 6 months ago

GPT-4o System Card

commented on a paper 7 months ago

Qwen2.5-Coder Technical Report

View all activity

Organizations

None yet

Vilin97's activity

upvoted a paper 6 months ago

GPT-4o System Card

Paper • 2410.21276 • Published Oct 25, 2024 • 86

upvoted a paper 8 months ago

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Paper • 2408.08152 • Published Aug 15, 2024 • 58