Loading activity…
@arnal_charles
Research Scientist at @MetaAI, mathematician ENS, Cambridge, Inria, FAIR at Meta - all posts are mine
AI
A team member’s hiring announcement highlights improving frontier models’ maths abilities, proof assistants and formalizing mathematics at scale.
