Author

V. Ilin

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.

V. Ilin · 1 citation