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