Submitted by
Vasily Ilin
AI & ML interests
The UW Math AI Lab does research in the intersection of Math and AI, including AI for Math, such as formalization, search, and deep learning for math.
Recent Activity
View all activity
Papers
Semantic Search over 9 Million Mathematical Theorems
Learning to Repair Lean Proofs from Compiler Feedback
Submitted by
Vasily Ilin