abdelzaher2 (52)in #memes • 14 hours agoAnd that's a factabdelzaher2 (52)in #memes • 18 hours agoHow could this have happened?abdelzaher2 (52)in #memes • 22 hours agoAccurateabdelzaher2 (52)in #memes • yesterdayDamn you sexy clockabdelzaher2 (52)in #memes • yesterdayTis but a scratch.abdelzaher2 (52)in #memes • yesterdayAnd I didn't even remember their gamer tagsabdelzaher2 (52)in #memes • 2 days ago(Don't) sit next to me pleaseabdelzaher2 (52)in #ai • 6 months agosteemCreated with Sketch.LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics RepositoriesResearchers from California Institute of Technology, Stanford, and University of Wisconsin, Madison introduce…abdelzaher2 (52)in #ai • 6 months agoThe First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics RepositoriesThe problem that this research seeks to address lies in the inherent limitations of existing large language models…abdelzaher2 (52)in #memes • 4 years agoLets goo :))abdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemessabdelzaher2 (52)in #memes • 4 years agomemess