Adil Salim
@AdilSlm
Followers
761
Following
821
Media
12
Statuses
212
Research in math, AI and other candies. Telecom Paris / KAUST / UC Berkeley / Microsoft Research
Redmond
Joined February 2019
100% agree on the productivity boost. One just needs patience to correct mistakes, which are more subtle than before imo. I had a nice interaction with GPT-5-pro while proving a convex analysis lemma: https://t.co/N4oEv0S37X The model didn’t write the full proof, but the
Totally agree with @ErnestRyu that AI helpers will become very useful for research. But in the near future the biggest help will be with *informal* math, the kind we work out with our collaborators/grad students on a whiteboard. I already use frontier models to help write/debug
5
18
157
I firmly believe we are at a watershed moment in the history of mathematics. In the coming years, using LLMs for math research will become mainstream, and so will Lean formalization, made easier by LLMs. (1/4)
47
193
1K
I crossed an interesting threshold yesterday, which I think many other mathematicians have been crossing recently as well. In the middle of trying to prove a result, I identified a statement that looked true and that would, if true, be useful to me. 1/3
63
302
3K
Wow!! I tried to prove this in 2019, without success. This is embarrassing lol I remember in 2023 @SebastienBubeck told me something like "Can an LLM rediscover Nesterov's acceleration? Not now, but certainly soon"
The proof, cleaned up and typed up by me, resolves the 42-year-old open problem: 5/N
3
19
234
check out this PhD opportunity for female students from Africa at @UPFBarcelona : https://t.co/WvERTNWdRk i have hired my amazing student @NnekaOkolo4 via this program, which was a great success. hope i can find someone this time as well! let me know if you have any questions
upf.edu
1
8
20
Given the recent loss of its $25 million NSF grant (amongst all UCLA grants), the Institute for Pure & Applied Mathematics is now fundraising. Donation link here:
0
12
47
seb talking about synthetic data as a new way to make better models! excited for much more to come.
59
40
1K
Terence Tao, perhaps the most famous living mathematician, explains the damage the recent grant cuts to UCLA has caused especially due to its impact on IPAM (the Institute for Pure and Applied Mathematics, one of 6 NSF-funded math institutes in America):
mathstodon.xyz
The current administration in the US has, through various funding agencies such as the NSF and NIH, has recently suspended virtually all federal grants to my home university, UCLA (including my own...
9
49
255
At 20 years old I came to the US for my first research experience and it was at IPAM. That's when I feel in love with the research energy in the US. I think it would be a tragedy to lose this institute.
The Trump administration has suspended the funding of Terence Tao and the Institute for Pure and Applied Mathematics at UCLA.
8
8
116
I am organizing "Workshop on Distributed Training in the Era of Large Models" at KAUST during November 24-26, 2025. If you have done some cool work in the area, you might want to attend. The talks are invite-only. I'll soon start sending invites. More info later!
2
12
69
Interested in some foundation aspects? Waiting or unhappy about NeurIPS reviews? Plz consider NeurIPS workshop DynaFront: Dynamics at the Frontiers of Optimization, Sampling, and Games https://t.co/lUl7uKHGR7
@yuejiec @Andrea__M @btreetaiji @T_Chavdarova ++ Sponsor appreciated!
2
24
108
Looking for postdocs to join my Optimization & Machine Learning Lab @ KAUST! Write to me by the end of November 2025 if you want to apply. https://t.co/VpuaSjohr9
https://t.co/ZYmeOjJXxh
https://t.co/4uUJocKlHH
https://t.co/0ptZQfW6uA
Ready to turn your research into global impact? Join the KAUST Global Fellowship Program and help shape the future of science and innovation, advance your independent research career, and tackle global challenges at a world-class university.
1
5
33
Had an incredible opportunity to give two lectures on diffusion models at MLSS-Sénégal 🇸🇳 in early July! Slides are available here: https://t.co/K1Y9dXdkf2 Big thanks to @eugene_ndiaye for the invitation!
🥳MLSS (Machine Learning Summer School) arrive au Sénégal 🇸🇳 en 2025! 🌍 📍 AIMS Mbour, Senegal 📅 23 Juin - 4 Juillet, 2025 Une école d'été internationale pour explorer, collaborer et approfondir votre compréhension du Machine Learning. 🔗 : https://t.co/EbOnsvJYPy
1
6
15
Incredible to see how fast the field moves since we worked on masked diffusion https://t.co/G3AnUVQ1Z5. Huge congratulations to @Jaeyeon_Kim_0 @sitanch for the award!
arxiv.org
Masked (or absorbing) diffusion is actively explored as an alternative to autoregressive models for generative modeling of discrete data. However, existing work in this area has been hindered by...
3
15
90
Happy to announce our ICML 2025 paper with Arto Klami, Aapo Hyvärinen, @Korba_Anna and @lomarchehab! Density Ratio Estimation is hard, especially in high dimensions! This was reformulated as learning and integrating a time score. We improve the learning! 🧵 Thread below
1
7
23
Grateful to attend #MLSS2025 at @AIMS_Senegal1 🇸🇳 — a transformative experience! Learned from global ML experts & connected with brilliant PhD students from Europe & the US. Huge thanks to @AdilSlm , @eugene_ndiaye for making this possible! #MlssSenegal2025
0
3
11
@dohmatobelvis @neu_rips @mblondel_ml @jeanphi_vert @peter_richtarik @sanmikoyejo @natschluter Franca Hoffmann & Ricardo Baptista closing the lectures with Foundations of measure transport & Application to generative modelling #MlssSenegal2025
1
1
7
@dohmatobelvis @neu_rips @mblondel_ml @jeanphi_vert @peter_richtarik @sanmikoyejo @natschluter Ashia Wilson giving a large overview of optimisation for machine learning #MlssSenegal2025
1
1
9