uw-math-ai/theorem-search-dataset-permissive
Viewer
•
Updated
•
2.68M
•
24
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
Vilin97Â
updated
a
dataset
2 days ago
slszetoÂ
updated
a
Space
2 days ago
Vilin97Â
authored
a
paper
3 days ago
slszetoÂ
authored
a
paper
4 days ago
Vilin97Â
updated
a
Space
6 days ago
Siyuan233Â
authored
a
paper
9 days ago
ericleonenÂ
updated
a
dataset
10 days ago
Vilin97Â
submitted
2
papers
to Daily Papers
10 days ago
Vilin97Â
updated
a
dataset
10 days ago
Vilin97Â
authored
2
papers
10 days ago
1004daÂ
authored
a
paper
10 days ago
evanywangÂ
authored
a
paper
10 days ago
sgvtcÂ
updated
a
dataset
11 days ago
Vilin97Â
published
a
dataset
11 days ago
sgvtcÂ
authored
a
paper
11 days ago
Add link to paper and ArXiv metadata
#2 opened 11 days ago
by
nielsr
Update README.md
#1 opened 13 days ago
by
sgvtc
Vilin97Â
published
a
dataset
13 days ago