Sophie Szeto

slszeto

3 4

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 hours ago

TheoremGraph: Bridging Formal and Informal Mathematics

liked a dataset 2 days ago

uw-math-ai/math-graph

upvoted a paper 3 months ago

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

View all activity

Organizations

slszeto 's models

None public yet