TheoremGraph: Bridging Formal and Informal Mathematics
Paper • 2606.25363 • Published • 12
Simon Kurgan
simku22
AI & ML interests
None yet
Recent Activity
authored a paper 24 days ago
TheoremGraph: Bridging Formal and Informal Mathematics liked a dataset 25 days ago
uw-math-ai/math-graph upvoted a paper 25 days ago
TheoremGraph: Bridging Formal and Informal MathematicsOrganizations
authored a
paper 24 days ago
liked a
dataset 25 days ago
upvoted a paper 25 days ago
updated a
dataset about 1 month ago
published a
dataset about 1 month ago