John Giles III
maxnumbers
AI & ML interests
None yet
Recent Activity
upvoted a paper 2 days ago
Automating ML for Science: Can Frontier Agents Climb Scientific Hills in the Wild? upvoted a paper 2 days ago
Cache Engineering for Agents upvoted a paper 6 days ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in LeanOrganizations
