Thank you for your advocacy for open-source AI
@animaanandkumar
-
LeanDojo Open-Source LLM for Certified Mathematical Theorem Proving
By
–
We have precisely done that. Our Leandojo is the first open-source LLM for theorem proving: so 100% accurate and certified proofs of math theorems. We will soon be launching the co-pilot as well at Neurips. Stay tuned. https://
leandojo.org -
AI Revolutionizes Weather Forecasting with Faster Cheaper Predictions
By
–
Thank you @BloombergTV for having me on #AI IRL talking about AI+Science and how AI is revolutionizing weather forecasting through faster and cheaper forecasts allowing us to create larger ensembles. https://t.co/S2Yy9umw66
— Prof. Anima Anandkumar (@AnimaAnandkumar) 2 novembre 2023Thank you @BloombergTV for having me on #AI IRL talking about AI+Science and how AI is revolutionizing weather forecasting through faster and cheaper forecasts allowing us to create larger ensembles.
-
AI Revolutionizes Weather Forecasting with Faster, Cheaper Ensemble Models
By
–
Thank you @BloombergTV for having me on #AI IRL talking about AI+Science and how AI is revolutionizing weather forecasting through faster and cheaper forecasts allowing us to create larger ensembles.
-
AI Revolutionizing Weather Forecasting with Faster Cheaper Forecasts
By
–
Thank you @BloombergTV for having me on #AI IRL talking about AI+Science and how AI is revolutionizing weather forecasting through faster and cheaper forecasts allowing us to create larger ensembles.
-
AI Revolutionizing Weather Forecasting Through Faster Cheaper Ensemble Methods
By
–
Thank you @BloombergTV for having me on #AI IRL talking about AI+Science and how AI is revolutionizing weather forecasting through faster and cheaper forecasts allowing us to create larger ensembles.
-
FourCastNet Weather Model Performance Analysis on ECMWF Charts
By
–
Did you or anyone check how FourCastNet and other weather models did (from the charts at @ECMWF ) https://
charts.ecmwf.int/?facets=
ProducttypeExperimentalMachinelearningmodels
… -
Neural Operators AI Surrogates for Scientific Simulations
By
–
Honored to be selected as a @SchmidtFutures AI2050 Senior Fellow to work on Neural Operators: AI Surrogates for Scientific Simulations @Caltech https://
schmidtfutures.com/second-cohort-
of-ai2050-senior-fellows-named-by-schmidt-futures/
… -
Voyager AI Agents with Foundation Models Research
By
–
Thank you @CadeMetz for covering my team's work on #AI agents with foundation models: Voyager. @yukez @guanzhi_wang @DrJimFan @YunfanJiang @nvidia @caltech
