John Giles III
maxnumbers
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean upvoted a paper 6 days ago
Agentic World Action Models liked a model 6 days ago
fastino/GLiDEOrganizations
