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
14 Followers 216 Following
Marxfuck @marxfuck
27 Followers 771 Following
alfasigmax @alfasigmax
1K Followers 2K Following
Sirius @Sirius7532
1 Followers 23 Following
Jing Guo @guojing0
107 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
142 Followers 2K Following Muslim alhamdullilah 🇵🇰.. Deep learning bounded 👉 GANs 👉 Image-to-Image translation. GGMU..
Patrick Drake @time8machine
17K Followers 6K Following “Exploring AGI as a ‘Sixth Sense’ building architectures for cognition, perception, and reflective reciprocity. Founder of time8machine.” Δ
Bohan Lyu @Lyubh22
271 Followers 522 Following Senior Undergrad @Tsinghua_Uni. Current intern @PrincetonPLI. Previously @ucsd_cse. I'm interested in ML and NLP. Applying for 26 fall Phd.
Lolol lolol @LololL5887
14 Followers 496 Following
Chiung-Yi Tseng @ctseng_
1 Followers 173 Following
Juan Dela Cruz @JuanDel92369873
0 Followers 25 Following
ingehap @ingehap1
7 Followers 461 Following
fornever @_for_never
30 Followers 341 Following
Amruta Akella @AkellaAmruta
5 Followers 32 Following
Patrick Shafto @patrickshafto
3K Followers 909 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
Yepeng Liu @yepengliu
18 Followers 113 Following Ph.D. Student @ucsantabarbara @ucsbcs | Research: NLP, AI Safety, LLM Watermark
Jean Laurent @JeanLauren32
9 Followers 275 Following
fredcheng @neumanncheng
23 Followers 3K Following
Roozbeh Yousefzadeh @roozbeh_yz
884 Followers 860 Following Researcher @Huawei Hong Kong Research Center | Past: AppliedScientist @LightmatterCo | Postdoc @Yale | PhD @umdcs | MachineLearning and ScientificComputing | PE
Elias Judin @elias_judin
95 Followers 693 Following pure maths. universal algebra // categorical topology // Galois theories. university of cape town.
Chi Jin @chijinML
6K Followers 483 Following Associate Prof @Princeton. Previously: ML theory, RL & optimization. Now: AI for math, games & decision making.
Junyan Xu @Junyan_Xu
478 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 747 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
785 Followers 4K Following Postdoc at Edinburgh, Ph.D. at CUHK. Former Visiting Scholar at Cornell. Working on reinforcement learning and multi-armed bandits.
Alex Zeissig @alexzeissig
181 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
117 Followers 2K Following Aspiring AI Research Scientist | ML & Deep Learning | Open to AI Internships & Research Roles
Marc - techire ai. At... @marctechireai
25 Followers 271 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
1 Followers 68 Following
Yi (Joshua) Ren @JoshuaRenyi
339 Followers 184 Following Ph.D. student @UBC_CS, working on ML (learning dynamics, simplicity bias, iterated learning, LLM)
Pranay_Jairam @jairam_pranay
88 Followers 971 Following Learning to make better insights 📈 Soul who Thinks 🧭 Msc Data Science & Artificial Intelligence at @UniTrieste
Tom Bukic @TomBukic
174 Followers 2K Following On a task to demistify a cognition. 🤖 ML Engineer 📚 Mathematician 🧠 Cognitive Scientist 🤸 Movement Enthusiast
Jules Collenne @JCollenne7
0 Followers 41 Following
edeegoo @douebs
223 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 906 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
53K Followers 55 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
359 Followers 174 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
30K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Percy Liang @percyliang
85K Followers 420 Following Associate Professor in computer science @Stanford @StanfordHAI @StanfordCRFM @StanfordAILab @stanfordnlp | cofounder @togethercompute | Pianist
Yi Ma @YiMaTweets
102K Followers 513 Following Chair Prof. in AI, HKU; Visiting Prof. of EECS, UCB New book on Principles of Intelligence: https://t.co/leZlkURb7j
Jonathan Frankle @jefrankle
21K Followers 734 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
39K Followers 537 Following a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
Eric Zhang @ekzhang1
16K Followers 509 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
767 Followers 4K Following Physicist | Postdoc at ORIGINS Cluster @TU_Muenchen , AI for Mathematics
Marina Vinyes @marina_vinyes
168 Followers 146 Following
Zhijiang Guo @ZhijiangG
798 Followers 583 Following Assistant Professor @HKUSTGuangzhou Prev. @CambridgeNLP @EdinburghNLP @SUTDsg. Working on #LLM.
Yinya Huang @YinyaHuang
188 Followers 634 Following Postdoc @ETH_AI_Center, @ETH. Prev @CityUHongKong, @TencentGlobal. #LLM, #NLProc & #AI
Trends for United States
You might like
