uw-math-ai/theorem-search-dataset
Viewer • Updated • 2.89M • 640 • 26
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
Papers
TheoremGraph: Bridging Formal and Informal Mathematics
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
ericleonen
updated a
dataset 4 days ago
Theohhh
updated a
dataset 20 days ago
Theohhh
published a
dataset 23 days ago
Vilin97
updated a
Space about 1 month ago
slszeto
updated 2
datasets about 1 month ago
slszeto
updated a
Space about 1 month ago
CeciliaYe
updated a
model about 1 month ago
Vilin97
submitted a
paper to Daily Papers about 2 months ago
slszeto
authored a
paper 4 months ago
simku22
authored a
paper 4 months ago
Vilin97
submitted a
paper to Daily Papers 4 months ago
ericleonen
updated 2
datasets 5 months ago
simku22
updated a
dataset 5 months ago
simku22
published a
dataset 5 months ago
CeciliaYe
updated a
dataset 5 months ago
CeciliaYe
published a
dataset 5 months ago
CeciliaYe
updated a
dataset 6 months ago
CeciliaYe
updated a
model 6 months ago