Integrate Lean and LLM and an efficient way to run the inference in Lean. After training, the model is converted into the ONNX format, which can be run as a shared library using ONNX Runtime and integrated into Lean through FFI.
@animaanandkumar
-
ECMWF Operationalizes AI Weather Forecasting with FourCastNet
By
–
Thank you @ECMWF for your leadership in operationalizing the #AI methods for weather forecasting including FourCastNet from @nvidia Earth-2, which was the first high-resolution AI weather forecasting system. Great to see rapid progress and adoption!
-
Physics Informed Neural Operators Gaining Adoption
By
–
Great to see physics informed neural operators being adopted!
-
Guanya Shi’s Impressive Work in Learning and Control
By
–
Join @GuanyaShi group. He is doing impressive work in learning+control
-
PDEs Enable Direct Solution Validation From Equations
By
–
With PDEs, you can check if a solution is valid or not, directly from the equation
-
ECMWF Leads AI Methods for Weather Forecasting Research
By
–
Excited to see @ECMWF take the lead in exploring #AI methods for weather forecasting building on our research efforts at @nvidia Earth-2 as well as from other labs https://
x.com/PDueben/status
/PDueben/status/1690336752181895168
… -
Prehistoric era before generative AI emergence
By
–
Haha, this is from the prehistoric era of no generative AI
-
NVIDIA Sponsors Indaba Conference Event
By
–
Great to see @nvidia sponsoring Indaba. Fond memories from the first Indaba event @NandoDF
-
NVIDIA Earth-2 Team Hiring AI Scientists and Climate Modelers
By
–
Coming off from @nvidia blow-out earnings and company meeting, Jensen met our Earth-2 team. #ai+#science is a game-changer here. We are #hiring AI research scientists, deep learning engineers, numerical methods experts, and climate modelers. DM me.