AI for Math Workshop @ ICML 2025
@ai4mathworkshop
2nd AI for Math Workshop @ ICML
ID: 1902702455428898816
https://sites.google.com/view/ai4mathworkshopicml2025 20-03-2025 12:43:27
4 Tweet
29 Followers
17 Following
Jacob Andreas
@jacobandreas
Teaching computers to read. Assoc. prof @MITEECS / @MIT_CSAIL / @NLP_MIT (he/him). lingo.csail.mit.edu web.mit.edu/jda/www
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Percy Liang
@percyliang
Associate Professor in computer science @Stanford @StanfordHAI @StanfordCRFM @StanfordAILab @stanfordnlp | cofounder @togethercompute | Pianist
Overleaf
@overleaf
Create, edit & publish your research - all from your browser. Our real-time collaborative LaTeX editor automatically produces & displays your typeset document.
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Rosanne Liu
@savvyrl
Cofounded & running @ml_collective. Host of Deep Learning Classics & Trends. Research at Google DeepMind. DEI/DIA Chair of ICLR & NeurIPS.
Jonathan Frankle
@jefrankle
Chief AI Scientist @databricks via MosaicML. Pursuing data intelligence 🧱
Yinya Huang ✈️ ICLR
@yinyahuang
Postdoc @ETH. Prev @CityUHongKong, @TencentGlobal. #LLM, #NLProc & #AI
Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.
Maksym Andriushchenko @ ICLR
@maksym_andr
Working on AI safety, robustness, and generalization (Square Attack, RobustBench, AgentHarm, etc). PhD from @EPFL supported by Google & OpenPhil PhD fellowships
ICLR 2025
@iclr_conf
International Conference on Learning Representations #ICLR2025. SPC is @cvondrick and GC is @yisongyue
Amaury Hayat
@amaury_hayat
Professor @EcoleDesPonts IP Paris | AI for math | Control and stabilisation of PDEs | Member @ CIRCLES consortium
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Yi Ma
@yimatweets
Chair Professor in AI, Director of School of CDS, HKU. Visiting Professor of EECS, UC Berkeley. Author: High-Dim Data Analysis, book-wright-ma.github.io.
typedfemale
@typedfemale
a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
Eric Zhang
@ekzhang1
Computer systems person, interaction designer. → dreams of: a simpler, more honest, more human sort of software (people are good, be kind!)
Alex Gu @ iclr
@minimario1729
mit phd student, llm for math+code, current intern @ meta and vc @ e14 prev nvidia, aws, jane street / enjoys 🎹✈️⛷️⛵
Baran Hashemi
@rythian47
Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , #AI4Math, #AI4Science
Marina Vinyes
@marina_vinyes
Zhijiang Guo
@zhijiangg
Assistant Professor @HKUSTGuangzhou Prev. @CambridgeNLP @EdinburghNLP @SUTDsg. Working on #LLM.
Zhicheng Yang
@yangzhch6
PHD student, Reasoning with LLMs, #LLM, #NLP