AI.info

Vasily Ilin

Explore Vasily Ilin on AI.info.

• Lean Pool: An AI-Maintained Archive of Formalized Mathematics
• Learning to Repair Lean Proofs from Compiler Feedback
• DiScoFormer: Plug-In Density and Score Estimation with Transformers