Excited to present our work on Tensor-GaLore at the Optimization for Machine Learning Workshop #NeurIPS2024! We present Tensor-GaLore, a novel method for efficient training of neural networks with higher-order tensor weights. Many models, particularly those used in scientific
@animaanandkumar
-
Foundation Models Beyond LLMs Talk at NeurIPS AIM-FM
By
–
Happening now. I am giving a talk at @NeurIPSConf AIM-FM workshop at 3:30 today. If you want to learn about foundation models other than LLMs come to East ballroom A/B.
-
Multi-Modal Self-Supervised Learning Wins Best Paper Award at ML4H
By
–
Excited to share that our paper, "Multi-Modal Self-Supervised Learning for Surgical Feedback Effectiveness Assessment," won a Best Paper Award at #ML4H2024! Join us on Monday (12/16) at ML4H for our spotlight talk at 1:50pm and poster session at 2:15pm. We propose a
-
Sequential Controlled Langevin Diffusions: New Sampling Method
By
–
Pleased to announce our new work "Sequential Controlled Langevin Diffusions": https://
arxiv.org/abs/2412.07081 We study the classical problem of sampling from unnormalized densities by bridging diffusion-based sampling with Sequential Monte Carlo methods. Our SCLD method allows SDE -
CoDA-NO: Neural Operator for Coupled Multiphysics PDEs
By
–
Excited to present our work on CoDA-NO at #NeurIPS2024 We develop a novel neural operator architecture designed to solve coupled partial differential equations (PDEs) in multiphysics systems. Unlike existing approaches that are limited to fixed sets of variables, CoDA-NO can
-
Zongyi Li’s Neural Operators Advance AI and Science
By
–
.@ZongyiLiCaltech has done extremely impressive work in AI+Science at @Caltech from inventing Neural Operators to showing performance in a wide range of domains.
-
Nobel Prize Physics Deep Learning AI Science Panel Discussion
By
–
It was wonderful to be at @Google Zeitgeist and be part of AI+Science panel with @VanJones68 @lilaibrahim James Manyika, on the day that the Nobel Prize in physics was announced for deep learning. Watch our discussions:
-
AI and Science Partnership Honored with Prestigious Award
By
–
Thank you @BlavatnikAwards for the honor. AI+Science is the future and we are just getting started!
-
LeanAgent: Lifelong Learning Agent for Formal Theorem Proving
By
–
Announcing LeanAgent: the first life-long learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs are static, cannot learn new knowledge online, and