samuel ainsworth
skainswo
AI & ML interests
None yet
Recent Activity
upvoted a paper about 9 hours ago
TheoremGraph: Bridging Formal and Informal Mathematics upvoted a paper 5 months ago
Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau EquilibriumOrganizations
None yet