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.
RESEARCH
-
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
-
LLMs Generate Convincing but Wrong Completions Often
By
–
this is an issue I also have with copilot. it often very convincingly pushes for long and beautiful but wrong completions LLM as “internet influencers”: surface form trumps content https://
x.com/shortstein/sta
/shortstein/status/1587857803678748672
… -
Meta Unveils ESM Metagenomic Atlas with 617 Million Structures
By
–
Meta presents "ESM Metagenomic Atlas", a database of 617 million metagenomic protein structures https://actuia.com/actualite/meta-presente-esm-metagenomic-atlas-une-base-de-donnees-de-617-millions-de-structures-proteiques-metagenomiques/
… #AI #artificialintelligence
@Meta -
Math Transformer Interpretability and Generalization Research
By
–
What is my math transformer doing? — Three results on interpretability and generalization Charton et al.: https://
arxiv.org/abs/2211.00170 #MachineLearning #DeepLearning #ArtificialIntelligence -
AI Predicts Skin Cancer Recurrence with Machine Learning
By
–
Artificial Intelligence Method Can Help Predict Skin Cancer Recurrence https://
healthitanalytics.com/news/artificia
l-intelligence-method-can-help-predict-skin-cancer-recurrence
… @HITAnalytics #Healthcare #AI #DataScience #Python #Robots #BigData #Analytics #100DaysofCode #IoT #serverless #womenwhocode #DeepLearning #DigitalTransformation #MachineLearning -
MIT CSAIL Talk Summary Shared by Researcher
By
–
Oh wow, this is a very nice summary thread of my talk today @MIT_CSAIL . Thank you Nur😍 https://t.co/77HtuimQ27
— Fei-Fei Li (@drfeifei) 3 novembre 2022Oh wow, this is a very nice summary thread of my talk today @MIT_CSAIL . Thank you Nur
-
AI Generated Academic Papers: Biology, Economics, Physics, ML
By
–
What AI thinks we academics publish… I asked MidJourney to generate a biology, economics, physics, and a machine learning paper. They look like they are from an alternate universe where Reviewer 3 is an Eldritch Horror (aren’t they all), but I bet you can guess which is which.
-
Blindsight: The AI Future We Should Avoid
By
–
(Of all of the science fiction books we could be living in, Blindsight would not be my novel of choice.) Paper here:
-
Measuring Willingness to Pay: Methods for Pricing Strategy
By
–
I assume this is mostly being done for fun (right?) but entrepreneurs & marketers should know that you cannot assess willingness to pay with a poll. This paper gives a menu of methods to figure out pricing, plus a useful chart of pros & cons for each. https://
researchgate.net/publication/24
2382759_A_Review_of_Methods_for_Measuring_Willingness-to-Pay
…