Can Artificial Intelligence Model Mathematical Language?

A talk by François Charton, a researcher at Meta AI FAIR who works on linguistic uses of natural language processing, symbolic mathematics, theorem proving, applied mathematics and computational biology. Previously, he was a visiting entrepreneur at Facebook AI and CEO/Founder of Carthage. scholar.google.com/citations?...

[@stewarthorton2554]

😒 Promo SM