Simon Chess
sgvtc
AI & ML interests
None yet
Recent Activity
upvoted a paper about 1 hour ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics upvoted a paper 3 months ago
TheoremGraph: Bridging Formal and Informal Mathematics liked a model 5 months ago
uw-math-ai/gAPRIL-wo-expOrganizations
