EventAI Models
13 days ago
Meta announces ATLAS: large automated formalization effort
Yann LeCun
@ylecunProfessor at NYU & Executive Chairman at AMI Labs. Ex-Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
New Yorkyann.lecun.com
Yann LeCun
@ylecun
RT @arnal_charles: Our team at @AIatMeta is excited to announce ATLAS: one of the largest automated formalization efforts to date. ATLAS…
·
13 days ago