uw-math-ai/theorem-search-dataset
Viewer
• Updated
• 2.89M • 314 • 22
Luke Alexander
lukealex
AI & ML interests
None yet
Recent Activity
upvoted a paper 24 days ago
Semantic Search over 9 Million Mathematical Theorems liked
a dataset 25 days ago
uw-math-ai/theorem-search-dataset upvoted a paper 25 days ago
Learning to Repair Lean Proofs from Compiler Feedback Organizations
liked a dataset 25 days ago
liked a Space about 1 month ago