AI for Math Workshop @ ICML 2025 @ai4mathworkshop
2nd AI for Math Workshop @ ICML 2025 West Ballroom C, Vancouver Convention Center July 18th, 2025 @ Vancouver, Canada (Hybrid) sites.google.com/view/ai4mathwo… Joined March 2025-
Tweets20
-
Followers110
-
Following21
-
Likes14
If you win an award and you are onsite, you can come to our organizers to pick up your certificates. If you are participating remotely, find your digital certificates here: sites.google.com/view/ai4mathwo…
I won’t make it to ICML this year, but our work will be presented at the 2nd AI for Math Workshop @ ICML 2025 (@ai4mathworkshop). Huge thanks to my co‑author @SisForCollege for presenting on my behalf. please drop by if you’re around!
Correction re the time: my posters on Q# and VGS at @ai4mathworkshop is happening today from 10:50 am to 12:20 pm. Hope to see you there! x.com/kaiwenw_ai/sta…
Correction re the time: my posters on Q# and VGS at @ai4mathworkshop is happening today from 10:50 am to 12:20 pm. Hope to see you there! x.com/kaiwenw_ai/sta…
I will also give a talk about theorem proving and Goedel-prover V2 at 12:45 today at @ai4mathworkshop . Drop by our talk and poster if you are at ICML!
I will also give a talk about theorem proving and Goedel-prover V2 at 12:45 today at @ai4mathworkshop . Drop by our talk and poster if you are at ICML!
I’m presenting two papers on value-based RL for post-training & reasoning on Friday at @ai4mathworkshop at #ICML2025! 1️⃣ Q#: lays theoretical foundations for value-based RL for post-training LMs; 2️⃣ VGS: practical value-guided search scaled up for long CoT reasoning. 🧵👇
Honored our paper was selected as Best Paper Runner-Up at #ICML @ai4mathworkshop! Grateful to my incredible collaborators who will be presenting - wish I could join in person. Big thanks to the committee!
Honored our paper was selected as Best Paper Runner-Up at #ICML @ai4mathworkshop! Grateful to my incredible collaborators who will be presenting - wish I could join in person. Big thanks to the committee!
We are looking for more reviewers. If you are interested, please fill out this form: docs.google.com/forms/d/e/1FAI…
The paper submission deadline is within 1 week: June 21st, 2025, AoE The challenge deadline is in 2 weeks: July 1st, 2025, AoE 📢Call for Papers: sites.google.com/view/ai4mathwo… 🎯Challenge 1, File-level Automated Proof Engineering (APE) of Formal Math Libraries (APE-Bench I):…
Glad to announce the ICML 2025 Challenge on Automated Math Reasoning and Extensions! 🌟🧮⚛️ Track 1: File-level Automated Proof Engineering (APE) of Formal Math Libraries (APE-Bench I). Participation: codabench.org/competitions/8… Track 2: Physics Reasoning with Diagrams and…
📢 Paper submission dates are updated: - Paper Submission Open: March 18th, 2025 - Full Paper Submission Deadline: June 21st, 2025, AoE - Paper Decision Notification: July 7th, 2025 - Camera-ready Version Deadline: July 18th, 2025
📢 Paper submission dates are updated: - Paper Submission Open: March 18th, 2025 - Full Paper Submission Deadline: June 21st, 2025, AoE - Paper Decision Notification: July 7th, 2025 - Camera-ready Version Deadline: July 18th, 2025
🚀Excited to announce the AI for Math Workshop at ICML 2025 with amazing co-organizers! 🌐This event is a fantastic opportunity to explore the intersection of AI and Math. 🔍Join us to learn from leading experts, share your research, and connect with like-minded researchers.
🚀Excited to announce the AI for Math Workshop at ICML 2025 with amazing co-organizers! 🌐This event is a fantastic opportunity to explore the intersection of AI and Math. 🔍Join us to learn from leading experts, share your research, and connect with like-minded researchers.
Quadrillon0th @quadrillon0th
18 Followers 198 Following
Marxfuck @marxfuck
29 Followers 772 Following
Matematica.Cloud @matematicacloud
1K Followers 2K Following
Sirius @Sirius7532
1 Followers 23 Following
Jing Guo @guojing0
103 Followers 1K Following *Looking for PhD and jobs!* MSc in Math from Regensburg; BSc in Math and CS minor from Utah AI/ML/DL & Extremal combinatorics and theoretical computer science
120l3327 @120l3327
12 Followers 4K Following
A m m a r Ul H a s s ... @ammarulhassan2
144 Followers 2K Following Muslim alhamdullilah 🇵🇰.. Deep learning bounded 👉 GANs 👉 Image-to-Image translation. GGMU..
Patrick Drake @time8machine
17K Followers 6K Following Neurodivergent physics student with a keen interest in multisensory integration and emergent perception. Exploring research on a proposed ‘sixth sense’. Δ
Bohan Lyu @Lyubh22
260 Followers 513 Following Rising senior @Tsinghua_Uni. Current intern @PrincetonPLI. Previously @ucsd_cse. I'm interested in ML and NLP.
Lolol lolol @LololL5887
7 Followers 450 Following
Chiung-Yi Tseng @ctseng_
1 Followers 160 Following
Juan Dela Cruz @JuanDel92369873
1 Followers 22 Following
ingehap @ingehap1
8 Followers 461 Following
fornever @_for_never
23 Followers 335 Following
clhong1248 @CarinaLHong
2K Followers 914 Following Hiring: resume to [email protected] to love math is to see the face of God Morgan Prize, Rhodes Scholar Math PhD@Stanford; Neuro@Oxford; Math+Physics@MIT
Amruta Akella @AkellaAmruta
5 Followers 30 Following
Patrick Shafto @patrickshafto
3K Followers 879 Following PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023. https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3
Jean Laurent @JeanLauren32
7 Followers 220 Following
fredcheng @neumanncheng
23 Followers 3K Following
Roozbeh Yousefzadeh @roozbeh_yz
888 Followers 861 Following Researcher @Huawei Hong Kong Research Center | Past: AppliedScientist @LightmatterCo | Postdoc @Yale | PhD @umdcs | MachineLearning and ScientificComputing | PE
Elias Judin @elias_judin
93 Followers 682 Following pure maths. universal algebra // categorical topology // Galois theories. university of cape town.
Chi Jin @chijinML
5K Followers 456 Following Assistant Prof @Princeton. Previously: ML theory, RL & optimization. Now: AI for math, games & decision making.
Junyan Xu @Junyan_Xu
471 Followers 4K Following Postdoc at Universität Heidelberg building Lean's mathlib4 towards formalization of FLT, interested in AI for mathematics and formalization.
Hemanadhan Myneni ( �... @t41nk3r
109 Followers 748 Following Adjunct Associate Professor, University of Iceland
sponsianus @sponsianus
0 Followers 2K Following
Wei Hu @weihu_
2K Followers 1K Following Assistant professor @UMichCSE @UMich; previously @SimonsInstitute @UCBerkeley @Princeton @Tsinghua_Uni. Theoretical and scientific foundations of deep learning.
William Whistler @willwhistler
317 Followers 1K Following Researcher in computational complexity and proof assistants. Still occasionally a reverse engineer.
Zhiyong Wang @Zhiyong16403503
782 Followers 4K Following Ph.D. candidate at CUHK. Former Visiting Scholar at Cornell. Working on reinforcement learning and multi-armed bandits.
Alex Zeissig @alexzeissig
162 Followers 1K Following USA tax lawyer -- crypto and DeFi tax law -- staking, borrowing, ownership, lending, forks, airdrops, and transfers -- former IRS revenue officer
Yasir Arafat @yasir__arafat
111 Followers 2K Following Aspiring AI Research Scientist | ML & Deep Learning | Open to AI Internships & Research Roles
Marc - techire ai. At... @marctechireai
26 Followers 270 Following Founder, techire ai. AI - Generative, Conversational, Agentic. Top & trusted AI recruiting firm, 6+ years hiring n Applied AI & Research. 10+ years in tech.
Harmanpreet Singh @looser_3069
0 Followers 58 Following
Yi (Joshua) Ren @JoshuaRenyi
341 Followers 183 Following Ph.D. student @UBC_CS, working on ML (learning dynamics, simplicity bias, iterated learning, LLM)
Daljeet @daljeet_v
1K Followers 5K Following scaling domain-specific RL @openblocklabs. prev. @a16z enthusiastic cook/wannabe somm
Pranay_Jairam @jairam_pranay
87 Followers 967 Following Learning to make better insights 📈 Soul who Thinks 🧭 Msc Data Science & Artificial Intelligence at @UniTrieste
Tom Bukic @TomBukic
138 Followers 1K Following On a task to demistify a cognition. 🤖 ML Engineer 📚 Mathematician 🧠 Cognitive Scientist 🤸 Movement Enthusiast
An Vo @an_vo12
202 Followers 646 Following MS student @ KAIST | Interest: LLMs/VLMs, Trustworthy AI | Looking for PhD opportunities starting Fall 2026
Jules Collenne @JCollenne7
0 Followers 41 Following
edeegoo @douebs
228 Followers 6K Following algorithm, complexity, tcs, mma, history, politics. bust brainless CEOs/VCs/prof.s. NYU alumni.
Lean @leanprover
6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.
Maksym Andriushchenko @maksym_andr
5K Followers 891 Following Faculty at @ELLISInst_Tue & @MPI_IS, leading the AI Safety and Alignment group. PhD from @EPFL supported by Google & OpenPhil PhD fellowships.
ICLR 2026 @iclr_conf
52K Followers 53 Following International Conference on Learning Representations #ICLR2026. SPC is @BharathHarihar3 and GC is @cvondrick
Overleaf @overleaf
56K Followers 6K Following Create, edit & publish your research - all from your browser. Our real-time collaborative LaTeX editor automatically produces & displays your typeset document.
Amaury Hayat @Amaury_Hayat
348 Followers 173 Following Professor @EcoleDesPonts IP Paris | AI for math | Control and stabilisation of PDEs | Member @ CIRCLES consortium
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Rosanne Liu @savvyRL
46K Followers 1K Following (On mat leave.) Cofounded & running @ml_collective. Host of Deep Learning Classics & Trends. Research at Google DeepMind. DEI/DIA Chair of ICLR & NeurIPS.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Percy Liang @percyliang
84K Followers 417 Following Associate Professor in computer science @Stanford @StanfordHAI @StanfordCRFM @StanfordAILab @stanfordnlp | cofounder @togethercompute | Pianist
Yi Ma @YiMaTweets
101K Followers 490 Following Chair Prof. in AI, HKU; Visiting Prof. of EECS, UCB New book on Principles of Intelligence: https://t.co/leZlkURb7j
Jonathan Frankle @jefrankle
20K Followers 725 Following Chief AI Scientist @databricks via MosaicML.
Jacob Andreas @jacobandreas
20K Followers 951 Following Teaching computers to read. Assoc. prof @MITEECS / @MIT_CSAIL / @NLP_MIT (he/him). https://t.co/5kCnXHjtlY https://t.co/2A3qF5vdJw
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
typedfemale @typedfemale
38K Followers 534 Following a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
Eric Zhang @ekzhang1
15K Followers 460 Following Computer systems person, interaction designer. founding eng @modal → dreams of: a simpler, more honest, more human sort of software (people are good, be kind!)
Alex Gu @minimario1729
4K Followers 2K Following intern @ meta, mit phd student (on job market!), llm for math+code / prev nvidia, aws, jane street / enjoys 🎹✈️⛷️⛵
Baran Hashemi @Rythian47
772 Followers 4K Following Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Marina Vinyes @marina_vinyes
167 Followers 145 Following
Zhijiang Guo @ZhijiangG
795 Followers 585 Following Assistant Professor @HKUSTGuangzhou Prev. @CambridgeNLP @EdinburghNLP @SUTDsg. Working on #LLM.
Yinya Huang @YinyaHuang
185 Followers 635 Following Postdoc @ETH. Prev @CityUHongKong, @TencentGlobal. #LLM, #NLProc & #AI
Trends for United States
You might like
