Sophie Szeto

slszeto

3 4

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 4 hours ago

TheoremGraph: Bridging Formal and Informal Mathematics

liked a dataset 2 days ago

uw-math-ai/math-graph

upvoted a paper 4 months ago

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

View all activity

Organizations

slszeto 's models

None public yet