ICML 2024 AI for Math Workshop 徵稿與挑戰賽啟動！

• ICML 2024, AI for Math Workshop
• 面向形式化和自然語言AI數學推理的研討會
• 時間：2024年7月26/27日
• 時間：2024年7月26/27日。現場、線上同步舉行。
• 研討會首頁：https://sites.google.com/view/ai4mathworkshopicml2024/

推理是人類智慧中最具挑戰性和最深刻的部分。人類在數學推理的發展過程中總結了各種形式化語言，得以嚴格地描述數學問題和證明過程。而近年來的機器學習演算法和大規模語言模型正逐步接近甚至超越人類在一些數學推理的表現。那麼，下一步我們該如何發展AI數學推理，使之成為人類突破未知數學領域最強的輔助呢？

本次研討會旨在將不同學科背景、來自工業界和學術界的專家和學者匯集在一起，共同探討AI數學推理的發展和前景。我們將展開討論一系列關鍵但尚未被充分探討的研究問題。數學作為眾多科學學科（包括了電腦科學和人工智慧領域）的理論和實踐基石，我們也期待在研討會和與會者一起討論廣泛的相關研究問題。

------- 研討會徵稿-------

徵稿主題：

自動形式化與對偶的自動非形式化

• 自動定理證明產生
• 程式碼增強和輔助數學推理
• 形式化驗證和程式碼產生
• 評估指標
• 相關的推理領域
• 應用

研討會上進行海報展示-設立最佳論文獎一名，作者將在ICML 2024研討會上進行口頭報告，並獲得榮譽證書和一個ICML 2024 全程的免費註冊名額

-設立榮譽提名獎一名，作者將在ICML 2024研討會上進行口頭報告，並獲得榮譽證書和1000 美元的差旅基金

投稿時間節點：

-開放投稿時間：2024年3月27日

-開放投稿時間：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://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162。

投稿網址：

透過 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

-比賽結果公佈時間：6月12日(Anywhere

-比賽結果公佈時間：6月12日(Anywhere )比賽規則：

-參賽者可同時參加多個賽道

-參賽者需提交模型代碼在後台完成答案預測和指標計算

-每支參賽隊伍人數不超過6人

-每個賽道的前三名需將模型代碼開源

獎項設置：

-每個賽道的前三名將獲得現金獎勵：第一名500 美元，第二名300 美元，第三名200 美元

-每個賽道的第一名隊伍將在ICML 2024研討會上進行口頭報告，並獲得榮譽證書和1000 美元的差旅基金

比賽網址：

參賽者可透過 CodaBench 平台提交模型代碼和查看測試結果。 ------- 研討會在ICML 2024 期間舉辦-------

研討會形式：

-學術界和工業界頂尖學者的特邀報告

-AI數學推理的挑戰賽

-口頭報告（獲獎論文；獲獎參賽隊伍）

-海報展示（所有被接收論文）

-嘉賓圓桌討論

特邀報告嘉賓： 組織單位：------- 聯絡方式-------任何相關問題請電子郵件聯絡：

ai4mathicml2024@gmail.com

以上是ICML 2024 AI for Math Workshop 徵稿與挑戰賽啟動！的詳細內容。更多資訊請關注PHP中文網其他相關文章！