arxiv:2602.02990
Simon Chess
sgvtc
AI & ML interests
None yet
Recent Activity
upvoted a paper about 13 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics liked a model 2 months ago
uw-math-ai/gAPRIL-wo-exp upvoted a paper 4 months ago
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau EquilibriumOrganizations
