Skip to yearly menu bar Skip to main content


Workshop

2nd AI for Math Workshop @ ICML 2025

Yinya Huang ⋅ Zhicheng Yang ⋅ Xiaodan Liang ⋅ Zhengying Liu ⋅ Zhijiang Guo ⋅ Swaroop Mishra ⋅ Mateja Jamnik ⋅ Kun Zhang ⋅ Isabelle Guyon ⋅ Yilun Zhou ⋅ Marina Vinyes ⋅ Mert Unsal ⋅ Jing Tang ⋅ Haiming Wang ⋅ Wenda Li ⋅ Bin Dong ⋅ Alex Gu ⋅ Baran Hashemi ⋅ Zhizhen Qin ⋅ Soonho Kong ⋅ Leni Aniva ⋅ Xiaohan Lin ⋅ Kun Xiang

Abstract

Video

Chat is not available.

Schedule

12:30 AM
2:40 AM
2:50 AM
4:20 AM
7:30 AM
8:45 AM
Jeremy Avigad ⋅ Leonardo de Moura ⋅ Moa Johansson ⋅ Amaury Hayat ⋅ Sergei Gukov ⋅ Shubho Sengupta
9:55 AM
Bintao Tang ⋅ Xin Yang ⋅ Yuhao Wang ⋅ Zixuan Qiu ⋅ Zimo Ji ⋅ Wenyuan Jiang
Jillian Eddy ⋅ Randy Davila ⋅ Jesus De Loera ⋅ Junwei Lu ⋅ Ethan Fang ⋅ Zini Yang
Yang Yue ⋅ Zhiqi Chen ⋅ Rui Lu ⋅ Andrew Zhao ⋅ Zhaokai Wang ⋅ Yang Yue ⋅ Shiji Song ⋅ Gao Huang
Kusha Sareen ⋅ Morgane Moss ⋅ Alessandro Sordoni ⋅ Rishabh Agarwal ⋅ Seyedarian Hosseini
Yi Hu ⋅ Shijia Kang ⋅ Haotong Yang ⋅ xu ⋅ Muhan Zhang
Weiming Wu ⋅ Zi-Kang Wang ⋅ Jin Ye ⋅ Zhi Zhou ⋅ Yu-Feng Li ⋅ Lan-Zhe Guo
Terry Jingchen Zhang ⋅ Wenyuan Jiang ⋅ Rongchuan Liu ⋅ Yisong Wang ⋅ Ning Wang ⋅ Junran Yang ⋅ Yinya Huang ⋅ Mrinmaya Sachan
Zhangchen Xu ⋅ Yuetai Li ⋅ Fengqing Jiang ⋅ Bhaskar Ramasubramanian ⋅ Luyao Niu ⋅ Yuchen Lin ⋅ Radha Poovendran
Kaito Baba ⋅ Chaoran Liu ⋅ Shuhei Kurita ⋅ Akiyoshi Sannai
Aryan Gulati ⋅ Brando Miranda ⋅ Eric Chen ⋅ Emily Xia ⋅ Kai Fronsdal ⋅ Bruno de Moraes Dumont ⋅ Sanmi Koyejo
Kechen Li ⋅ Wenqi Zhu ⋅ Coralia Cartis ⋅ Tianbo Ji ⋅ Shiwei Liu
Brando Miranda ⋅ Zhanke Zhou ⋅ Allen Nie ⋅ Elyas Obbad ⋅ Leni Aniva ⋅ Kai Fronsdal ⋅ Weston Kirk ⋅ Dilara Soylu ⋅ Andrea Yu ⋅ Ying Li ⋅ Sanmi Koyejo
Yuxiao Qu ⋅ Anikait Singh ⋅ Yoonho Lee ⋅ Amrith Setlur ⋅ Russ Salakhutdinov ⋅ Chelsea Finn ⋅ Aviral Kumar
Amrith Setlur ⋅ Matthew Yang ⋅ Charlie Snell ⋅ Jeremiah Greer ⋅ Ian Wu ⋅ Virginia Smith ⋅ Max Simchowitz ⋅ Aviral Kumar
Zijian Wu ⋅ Suozhi Huang ⋅ Zhejian Zhou ⋅ Huaiyuan Ying ⋅ Zheng Yuan ⋅ Wenwei Zhang ⋅ Dahua Lin ⋅ Kai Chen
Nishad Singhi ⋅ Hritik Bansal ⋅ Seyedarian Hosseini ⋅ Aditya Grover ⋅ Kai-Wei Chang ⋅ Marcus Rohrbach ⋅ Anna Rohrbach
Xiaoxuan Wang ⋅ Yihe Deng ⋅ Mingyu Ma ⋅ Wei Wang
Amitayush Thakur ⋅ Jasper Lee ⋅ George Tsoukalas ⋅ Meghana Sistla ⋅ Matthew Zhao ⋅ Stefan Zetzsche ⋅ Greg Durrett ⋅ Yisong Yue ⋅ Swarat Chaudhuri
Haotian Luo ⋅ Haiying He ⋅ Yibo Wang ⋅ Jinluan Yang ⋅ Rui Liu ⋅ Naiqiang Tan ⋅ Xiaochun Cao ⋅ Dacheng Tao ⋅ Li Shen
Jin Zhou ⋅ Kaiwen Wang ⋅ Jonathan Chang ⋅ Zhaolin Gao ⋅ Nathan Kallus ⋅ Kilian Weinberger ⋅ Kianté Brantley ⋅ Wen Sun
Penghui Qi ⋅ Zichen Liu ⋅ Tianyu Pang ⋅ Chao Du ⋅ Wee Sun Lee ⋅ Min Lin
Jie Zhang ⋅ Cezara Petrui ⋅ Kristina Nikolić ⋅ Florian Tramer
Zichen Liu ⋅ Changyu Chen ⋅ Wenjun Li ⋅ Penghui Qi ⋅ Tianyu Pang ⋅ Chao Du ⋅ Wee Sun Lee ⋅ Min Lin
Haotian Luo ⋅ Li Shen ⋅ Haiying He ⋅ Yibo Wang ⋅ Shiwei Liu ⋅ Wei Li ⋅ Naiqiang Tan ⋅ Xiaochun Cao ⋅ Dacheng Tao
Yu He ⋅ Yingxi Li ⋅ Colin White ⋅ Ellen Vitercik
Peiyang Song ⋅ Pengrui Han ⋅ Noah Goodman
Amitayush Thakur ⋅ George Tsoukalas ⋅ Greg Durrett ⋅ Swarat Chaudhuri
Edoardo Cetin ⋅ Tianyu Zhao ⋅ Yujin Tang
Wei Du ⋅ Branislav Kisacanin ⋅ George Armstrong ⋅ Shubham Toshniwal ⋅ Ivan Moshkov ⋅ Alexan Ayrapetyan ⋅ Sadegh Mahdavi ⋅ Dan Zhao ⋅ Shizhe Diao ⋅ Dragan Mašulović ⋅ Advaith Avadhanam ⋅ Max Wang ⋅ Shitij Govil ⋅ Sri Yanamandra ⋅ Mihir Tandon ⋅ Sriram Ananthakrishnan ⋅ Vedant Rathi ⋅ David Zhang ⋅ Joonseok Kang ⋅ Leon Luo ⋅ Titu Andreescu ⋅ Ashmit Dutta ⋅ Boris Ginsburg ⋅ Igor Gitman
wenlong deng ⋅ YI REN ⋅ Danica J Sutherland ⋅ Christos Thrampoulidis ⋅ Xiaoxiao Li
Xutong Zhao ⋅ Tengyu Xu ⋅ Xuewei Wang ⋅ Zhengxing Chen ⋅ Di Jin ⋅ Liang Tan ⋅ Yen-Ting Lin ⋅ Zishun Yu ⋅ Zhuokai Zhao ⋅ Yun He ⋅ Sinong Wang ⋅ Han Fang ⋅ Sarath Chandar ⋅ Chen Zhu
Zhikai Wu ⋅ Shiyang Zhang ⋅ Sizhuang He ⋅ Sifan Wang ⋅ Min Zhu ⋅ Anran Jiao ⋅ Lu Lu ⋅ David van Dijk
Zengzhi Wang ⋅ Fan Zhou ⋅ Xuefeng Li ⋅ Pengfei Liu
Xinyu Zhu ⋅ Mengzhou Xia ⋅ Zhepei Wei ⋅ Wei-Lin Chen ⋅ Danqi Chen ⋅ Yu Meng
Jiayi Sheng ⋅ Luna Lyu ⋅ Jikai Jin ⋅ Tony Xia ⋅ Alex Gu ⋅ James Zou ⋅ Pan Lu
Vivek Vajipey ⋅ Aditya Tadimeti ⋅ Justin Shen ⋅ Ben Prystawski ⋅ Michael Li ⋅ Noah Goodman
Zhanke Zhou ⋅ Zhaocheng Zhu ⋅ Xuan Li ⋅ Mikhail Galkin ⋅ Xiao Feng ⋅ Sanmi Koyejo ⋅ Jian Tang ⋅ Bo Han
wenlong deng ⋅ YI REN ⋅ Muchen Li ⋅ Danica J Sutherland ⋅ Xiaoxiao Li ⋅ Christos Thrampoulidis
Matthew Macfarlane ⋅ Minseon Kim ⋅ Nebojsa Jojic ⋅ Weijia Xu ⋅ Lucas Caccia ⋅ Xingdi Yuan ⋅ Wanru Zhao ⋅ Zhengyan Shi ⋅ Alessandro Sordoni
Amin Rakhsha ⋅ Tianyu Zhang ⋅ Kanika Madan ⋅ Amir-massoud Farahmand ⋅ Amir Khasahmadi
Marco Dos Santos ⋅ Albert Jiang ⋅ Wenda Li ⋅ Mateja Jamnik
Tim Knappe ⋅ Vincent Li ⋅ Yule Fu ⋅ Kevin Han ⋅ Kevin Zhu
Ruiqi Zhang ⋅ Daman Arora ⋅ Song Mei ⋅ Andrea Zanette
Daman Arora ⋅ Andrea Zanette
Jasper Dekoninck ⋅ Ivo Petrov ⋅ Kristian Minchev ⋅ Miroslav Marinov ⋅ Maria Drencheva ⋅ Lyuba Konova ⋅ Milen Shumanov ⋅ Kaloyan Tsvetkov ⋅ Nikolay Drenchev ⋅ Lazar Todorov ⋅ Kalina Nikolova ⋅ Nikolay Georgiev ⋅ Vanesa Kalinkova ⋅ Margulan Ismoldayev ⋅ Mislav Balunovic ⋅ Martin Vechev
Jiyao Zhang ⋅ Chengli Zhong ⋅ Hui Xu ⋅ Qige Li ⋅ Jiajia Tian ⋅ Yi Zhou
Licheng Liu ⋅ Zihan Wang ⋅ Linjie Li ⋅ Chenwei Xu ⋅ Yiping Lu ⋅ Han Liu ⋅ Avirup Sil ⋅ Manling Li
Haotian Zhai ⋅ Connor Lawless ⋅ Ellen Vitercik ⋅ Liu Leqi
Fan Liu ⋅ Zhe-Rui Yang ⋅ Cancheng Liu ⋅ Tianrui Song ⋅ Xiaofeng Gao ⋅ Hao Liu
Yousef Alhessi ⋅ Sólrún Einarsdóttir ⋅ George Granberry ⋅ Emily First ⋅ Moa Johansson ⋅ Sorin Lerner ⋅ Nicholas Smallbone
Yicheng Tao ⋅ Haotian Liu ⋅ Shanwen Wang ⋅ Hongteng Xu
Ivan Moshkov ⋅ Darragh Hanley ⋅ Ivan Sorokin ⋅ Shubham Toshniwal ⋅ Christof Henkel ⋅ Benedikt Schifferer ⋅ Wei Du ⋅ Igor Gitman
Zhanke Zhou ⋅ Xiangyu Lu ⋅ Chentao Cao ⋅ Brando Miranda ⋅ Tongliang Liu ⋅ Bo Han ⋅ Sanmi Koyejo
An Vo ⋅ Khai-Nguyen Nguyen ⋅ Mohammad Reza Taesiri ⋅ Vy Dang ⋅ Anh Nguyen ⋅ Daeyoung Kim
Manooshree Patel ⋅ Rayna Bhattacharyya ⋅ Thomas Lu ⋅ Arnav Mehta ⋅ Niels Voss ⋅ Narges Norouzi ⋅ Gireeja Ranade
Siqi Kou ⋅ Qingyuan Tian ⋅ Hanwen Xu ⋅ Zihao Zeng ⋅ Zhijie Deng
Nicolas Wischermann ⋅ Claudio Mayrink Verdun ⋅ Gabriel Poesia ⋅ Francesco Noseda
Zihao Zeng ⋅ Xuyao Huang ⋅ Boxiu Li ⋅ Hao Zhang ⋅ Zhijie Deng
Xu Zhuang ⋅ Yuxiang Yao ⋅ Po-Chu Hsu ⋅ Xiaokang Wang ⋅ Peikai Qi
Max Vargas ⋅ Helen Jenne ⋅ Davis Brown ⋅ Henry Kvinge
Wanru Zhao ⋅ Lucas Caccia ⋅ Zhengyan Shi ⋅ Minseon Kim ⋅ Xingdi Yuan ⋅ Weijia Xu ⋅ Marc-Alexandre Côté ⋅ Alessandro Sordoni
Atharva Pandey ⋅ Kshitij Dubey ⋅ Rahul Sharma ⋅ Amit Sharma
Stéphane d'Ascoli ⋅ Arthur Renard ⋅ Emmanuel Abbe ⋅ Vassilis Papadopoulos ⋅ Samy Bengio ⋅ Joshua M Susskind
Chen ⋅ Xiaopeng Li ⋅ Ziniu Li ⋅ Xi Chen ⋅ Tianyi Lin
Udbhav Bamba ⋅ Rishabh Tiwari ⋅ Heng Yang ⋅ Kurt Keutzer ⋅ Amir Gholaminejad
Xiangyan Liu ⋅ Jinjie Ni ⋅ Zijian Wu ⋅ Chao Du ⋅ Longxu Dou ⋅ Haonan Wang ⋅ Tianyu Pang ⋅ Michael Shieh
Yi Fu ⋅ Anthony Tompkins ⋅ Yang Song ⋅ Maurice Pagnucco
Xuandong Zhao ⋅ Zhewei Kang ⋅ Aosong Feng ⋅ Sergey Levine ⋅ Dawn Song
Zhihe Yang ⋅ Xufang Luo ⋅ Zilong Wang ⋅ Dongqi Han ⋅ Zhiyuan He ⋅ Dongsheng Li ⋅ Yunjian Xu
Taishi Nakamura ⋅ Satoki Ishikawa ⋅ Masaki Kawamura ⋅ Takumi Okamoto ⋅ Daisuke Nohara ⋅ Jun Suzuki ⋅ Rio Yokota
Sadegh Mahdavi ⋅ Muchen Li ⋅ Kaiwen Liu ⋅ Renjie Liao ⋅ Christos Thrampoulidis
Mohsin Hasan ⋅ Marta Skreta ⋅ Alan Aspuru-Guzik ⋅ Yoshua Bengio ⋅ Kirill Neklyudov
Shengyu Feng ⋅ Weiwei Sun ⋅ Shanda Li ⋅ Ameet Talwalkar ⋅ Yiming Yang
Minglai Yang ⋅ Ethan Huang ⋅ Liang Zhang ⋅ Mihai Surdeanu ⋅ William Wang ⋅ Liangming Pan
Yurui Zhao ⋅ Xiang Wang ⋅ Jiahong Liu ⋅ Irwin King ⋅ Zhitao Huang
Derek Li ⋅ Jiaming Zhou ⋅ Amirreza Kazemi ⋅ Qianyi Sun ⋅ Abbas Ghaddar ⋅ Liheng Ma ⋅ Yu Luo ⋅ Dong Li ⋅ Jianye Hao ⋅ Yingxue Zhang
Shubham Toshniwal ⋅ Ivan Sorokin ⋅ Aleksander Ficek ⋅ Ivan Moshkov ⋅ Igor Gitman
Yuntian Liu ⋅ Tao Zhu ⋅ Xiaoyang LIU ⋅ Yu Chen ⋅ Liu ZhaoXuan ⋅ Guo qingfeng ⋅ Jiashuo Zhang ⋅ Kangjie Bao ⋅ Tao Luo
Jiaxuan Xie ⋅ Chengwu Liu ⋅ Ye Yuan ⋅ Siqi Li ⋅ Zhiping Xiao ⋅ Ming Zhang
Tobias Sesterhenn ⋅ Ian Berlot-Attwell ⋅ Janis Zenkner ⋅ Christian Bartelt
Jialin Lu ⋅ Kye Emond ⋅ Weiran Sun ⋅ Wuyang Chen
Ruichen Xu ⋅ Kai Li ⋅ Haochun Wang ⋅ Georgios Kementzidis ⋅ Wei Zhu ⋅ Yuefan Deng
Zhe Ye ⋅ Zhengxu Yan ⋅ Jingxuan He ⋅ Timothe Kasriel ⋅ Kaiyu Yang ⋅ Dawn Song
Ivo Petrov ⋅ Jasper Dekoninck ⋅ Lyuben Baltadzhiev ⋅ Maria Drencheva ⋅ Kristian Minchev ⋅ Mislav Balunovic ⋅ Nikola Jovanović ⋅ Martin Vechev
Zhenyu Yu ⋅ MOHD IDRIS ⋅ Pei Wang
Yuetai Li ⋅ Xiang Yue ⋅ Zhangchen Xu ⋅ Fengqing Jiang ⋅ Luyao Niu ⋅ Yuchen Lin ⋅ Bhaskar Ramasubramanian ⋅ Radha Poovendran
Kaiwen Wang ⋅ Jin Zhou ⋅ Jonathan Chang ⋅ Zhaolin Gao ⋅ Nathan Kallus ⋅ Kianté Brantley ⋅ Wen Sun
Yuetai Li ⋅ Zhangchen Xu ⋅ Fengqing Jiang ⋅ Bhaskar Ramasubramanian ⋅ Luyao Niu ⋅ Yuchen Lin ⋅ Xiang Yue ⋅ Radha Poovendran
Gregory Kang Ruey Lau ⋅ Yue Kang ⋅ Zi-Yu Khoo ⋅ Apivich Hemachandra ⋅ Ruth Wan Theng Chew ⋅ Bryan Kian Hsiang Low
Kazuki Yoda ⋅ Kazuhiko Kawamoto ⋅ Hiroshi Kera