Luke Alexander

lukealex

3 2

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 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

lukealex 's datasets

None public yet