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