arxiv:2606.25363
Simon Kurgan
simku22
AI & ML interests
None yet
Recent Activity
authored a paper about 1 month ago
TheoremGraph: Bridging Formal and Informal Mathematics liked a dataset about 1 month ago
uw-math-ai/math-graph upvoted a paper about 1 month ago
TheoremGraph: Bridging Formal and Informal MathematicsOrganizations
