TheoremGraph: Bridging Formal and Informal Mathematics
Paper • 2606.25363 • Published • 12
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
TheoremGraph: Bridging Formal and Informal Mathematics
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
slszeto
authored a
paper 7 days ago
simku22
authored a
paper 7 days ago
Vilin97
submitted a
paper to Daily Papers 9 days ago
ericleonen
updated a
dataset 10 days ago
ericleonen
updated a
dataset 13 days ago
simku22
updated a
dataset 14 days ago
simku22
published a
dataset 16 days ago
CeciliaYe
updated a
dataset 19 days ago
CeciliaYe
published a
dataset 19 days ago
CeciliaYe
updated a
dataset about 1 month ago
CeciliaYe
updated a
model about 1 month ago
Vilin97
published a
dataset about 1 month ago
Samarth265
updated a
dataset about 1 month ago
CeciliaYe
updated a
model about 1 month ago
CeciliaYe
published 2
models about 1 month ago
CeciliaYe
published a
dataset about 2 months ago
Vilin97
updated a
dataset about 2 months ago
Vilin97
published a
dataset about 2 months ago
Vilin97
updated a
dataset 2 months ago