In July, we launched No Language Left Behind to more languages in @Wikimedia
’s Content Translation tool that helps Wikipedia editors jumpstart article translation — a new report is already showing encouraging impact on usage & translation quality https://
bit.ly/3NO63VR /5
@aiatmeta
-
No Language Left Behind Improves Wikipedia Translation Tool Usage
By
–
-
Meta AI Creates Largest Protein Language Model with 15B Parameters
By
–
Meta AI researchers trained a language model to fill in protein sequence gaps across millions of diverse proteins & scaled up to 15B parameters, creating the largest language model of proteins to date. More on our latest breakthrough in protein folding https://
bit.ly/3WoWcK2 -
Team Receives Honorable Mention at ECCV2022 for Pose-NDF
By
–
Proud of the team and the honorable mention they received last week at #ECCV2022 for their great work on Pose-NDF! You can learn more about the model and read the paper at the link in Garvita's tweet
-
Model Available in Lean VSCode Plugin for Researchers
By
–
We’ve made our model available through the Lean VSCode plugin to allow researchers to explore the capabilities within the Lean environment. We hope you’ll build on this work as part of our shared pursuit of rapid progress in this exciting field.
-
HyperTree Proof Search Advances Neural Theorem Solving
By
–
Using HyperTree Proof Search we created a new neural theorem solver that was able to solve 5x more International Math Olympiad problems than any previous AI system & best previous state-of-the-art systems on miniF2F & Metamath.
— AI at Meta (@AIatMeta) 3 novembre 2022
More in our new post ⬇️Using HyperTree Proof Search we created a new neural theorem solver that was able to solve 5x more International Math Olympiad problems than any previous AI system & best previous state-of-the-art systems on miniF2F & Metamath. More in our new post