arxiv:2606.25363
Sophie Szeto
slszeto
AI & ML interests
None yet
Recent Activity
upvoted a paper about 2 months ago
TheoremGraph: Bridging Formal and Informal Mathematics authored a paper about 2 months ago
TheoremGraph: Bridging Formal and Informal Mathematics liked a dataset 2 months ago
uw-math-ai/math-graphOrganizations
