- ICML 2024, AI for Math Workshop
- 面向形式化和自然語言AI數學推理的研討會
- 時間：2024年7月26/27日
- 地點：奧地利，維也納。現場、線上同步舉行。
- 研討會主頁：https://sites.google.com/view/ai4mathworkshopicml2024/
數學推理是人類智慧中最具挑戰性和最具深度的部分。人類在數學推理的發展程序中總結出了各種形式化語言，得以嚴格地描述數學問題和證明過程。而近年來的機器學習演算法和大規模語言模型正在逐步接近甚至超越人類在一些數學推理的表現。那麼，下一步我們該如何發展AI數學推理，使之成為人類突破未知數學領域的最強輔助？
本次研討會旨在將不同學科背景、來自工業界和學術界的專家和學者彙集在一起，共同探討AI數學推理的發展和前景。我們將展開討論一系列關鍵但尚未被充分探討的研究問題。數學作為眾多科學學科（包括了電腦科學和人工智慧領域）的理論和實踐基石，我們也期待在研討會和與會者一起討論廣泛的相關研究問題。
------- 研討會徵稿 -------
徵稿主題：
自動形式化和對偶的自動非形式化
- 自動定理證明
- 自動定理生成
- 程式碼增強和輔助數學推理
- 形式化驗證和程式碼生成
- 評估指標
- 相關的推理領域
- 應用
獎項設定：
-所有被接收的投稿將在ICML 2024研討會上進行海報展示
-設立最佳論文獎一名，作者將在ICML 2024研討會上進行口頭報告，並獲得榮譽證書和一個ICML 2024 全程的免費註冊名額
-設立榮譽提名獎一名，作者將在ICML 2024研討會上進行口頭報告，並獲得榮譽證書和 1000 美元的差旅基金
投稿時間節點：
-開放投稿時間：2024年3月27日
-提交截稿時間：2024年5月31日 (Anywhere on Earth)
-審稿結果公佈時間：2024年6月12日 (Anywhere on Earth)
-最終版提交時間：2024年6月26日 (Anywhere on Earth)
投稿規則：
本次研討會採用 OpenReview 平臺實行標準雙盲審稿。投稿的正文篇幅為 2-8 頁，參考文獻和補充材料篇幅不限。投稿格式和模板遵循 ICML 2024 投稿指南：https://icml.cc/Conferences/2024/CallForPapers。
投稿網址：
透過 OpenReview 平臺提交。
提交入口：
------- AI數學推理挑戰賽 -------
本次研討會鼓勵參賽者同時提交論文或技術報告，研討會將盡可能地為大家創造線下報告和交流機會。提交方式請遵循上述投稿規則和時間節點。
三個賽道（可同時參賽）：
-賽道一：自動形式化和自動非形式化
-賽道二：自動定理生成和證明
-賽道三：程式碼輔助的自動最佳化問題求解
比賽時間節點：
-挑戰開始時間：
n賽道一和賽道二：2024年4月3日 (Anywhere on Earth)
n賽道三：2024年4月8日 (Anywhere on Earth)
-提交截止時間：2024年5月27日 (Anywhere on Earth)
-比賽結果公佈時間：6月12日 (Anywhere on Earth)
比賽規則：
-參賽者可同時參加多個賽道
-參賽者需提交模型程式碼在後臺完成答案預測和指標計算
-每支參賽隊伍人數不超過6人
-每個賽道的前三名需將模型程式碼開源
獎項設定：
-每個賽道的前三名將獲得現金獎勵：第一名 500 美元，第二名 300 美元，第三名 200 美元
-每個賽道的第一名隊伍將在ICML 2024研討會上進行口頭報告，並獲得榮譽證書和 1000 美元的差旅基金
比賽網址：
參賽者可透過 CodaBench 平臺提交模型程式碼和檢視測試結果。
------- 研討會在 ICML 2024 期間舉辦 -------
研討會形式：
-學術界和工業界頂尖學者的特邀報告
-AI數學推理的挑戰賽
-口頭報告（獲獎論文；獲獎參賽隊伍）
-海報展示（所有被接收論文）
-嘉賓圓桌討論
特邀報告嘉賓：
組織者：
組織單位：
------- 聯絡方式 -------
任何相關問題請郵件聯絡：
ai4mathicml2024@gmail.com