uw-math-ai/theorem-search-dataset
Viewer • Updated • 2.89M • 204 • 25
Luke Alexander
lukealex
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-datasetOrganizations
liked a
dataset 8 months ago
liked a
Space 8 months ago