Luke Alexander

lukealex

3 2

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

upvoted a paper 8 months ago

Semantic Search over 9 Million Mathematical Theorems

liked a dataset 8 months ago

uw-math-ai/theorem-search-dataset

View all activity

Organizations

upvoted a paper 4 days ago

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Paper • 2609.25199 • Published 6 days ago • 21

upvoted 2 papers 8 months ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published Feb 5 • 22

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29