Vasily Ilin's picture

Vasily Ilin

Vilin97

·

https://vilin97.github.io/

AI & ML interests

AI for Math

Recent Activity

updated a dataset 13 days ago

uw-math-ai/theorem-search-dataset

upvoted a paper 26 days ago

LLaDA2.0-Uni: Unifying Multimodal Understanding and Generation with Diffusion Large Language Model

updated a Space about 1 month ago

uw-math-ai/theorem-search

View all activity

Organizations

Vilin97 's Spaces 1

VeriDeepResearch

Verified Deep Research powered by Lean 4