ICML 2024 AI for Math ワークショップの論文募集とチャレンジが開始されました!

• ICML 2024、数学向け AI ワークショップ
• 形式言語および自然言語 AI 数学的推論のためのワークショップ
• 時間: 2024 年 7 月 26/27 日
• 場所: オーストリア、ウィーン。会場とオンラインで同時開催。
• ワークショップのホームページ: https://sites.google.com/view/ai4mathworkshopicml2024/

数学的推論は、人間の知性の中で最も挑戦的で奥深い部分です。数学的推論の発展過程で、人間は数学的問題や証明プロセスを厳密に記述することができるさまざまな形式言語を要約してきました。近年、機械学習アルゴリズムと大規模言語モデルは、一部の数学的推論において人間のパフォーマンスに徐々に近づいたり、それを超えたりしています。では、次にAIの数的推論をどのように開発し、未知の数学分野を突破する人類の最強のアシスタントにすべきでしょうか？

このセミナーは、さまざまな分野の背景、産業界、学界の専門家や学者を集めて、AI の数学的推論の発展と展望について話し合うことを目的としています。私たちは、重要だが十分に研究されていない一連の研究課題について議論を展開します。数学は、コンピューター サイエンスや人工知能を含む多くの科学分野の理論的かつ実践的な基礎であり、シンポジウムでは幅広い関連研究問題について参加者と議論できることを楽しみにしています。

-----セミナー論文募集-----

論文募集トピック:

自動形式化と双対性自動非公式化

• 自動定理証明
• 自動定理生成
• コード拡張と数学的推論支援
• 形式検証とコード生成
• 評価メトリクス
• 関連する推論分野
• アプリケーション

受賞歴:

- 受け入れられたすべての提出物はICML 202で発表されます4 ポスター発表セミナー

- 最優秀論文賞 1 件が設けられます。著者は ICML 2024 セミナーで口頭報告を行い、名誉賞状と ICML 2024 セッション全体への無料登録を受け取ります

- 佳作賞 1 件が設けられます。 、著者は ICML 2024 シンポジウムで口頭報告を行い、名誉賞状と 1,000 ドルの旅費を受け取ります

提出時間ノード:

-提出開始時間: 2024 年 3 月 27 日

-提出期限: 2024 年 5 月 31 日 (地球上のどこでも)

- 審査結果発表時期: 2024 年 6 月 12 日 (地球上のどこでも)

- 最終版提出時期: 2024 年 6 月 26 日 (地球上のどこでも)

提出ルール:

このセミナーでは、OpenReview プラットフォームを使用して標準的な二重盲検レビューを実装します。応募作品の本文の長さは2～8ページで、参考文献や補足資料の長さの制限はありません。提出フォーマットとテンプレートは、ICML 2024 提出ガイドラインに従います: https://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162。

提出URL:

OpenReviewプラットフォームを通じて提出してください。

提出入口:

-----AI数的推理チャレンジ-----

このセミナーでは、参加者に論文や技術レポートを同時に提出することを奨励します。オフラインでの報告とコミュニケーションの機会を可能な限り全員に設けます。上記の投稿ルールと期限に従って投稿してください。

3 つのトラック (同時に競争可能):

- トラック 1: 自動形式化と自動非公式化

- トラック 2: 自動定理生成と証明

- トラック 3: コード支援による自動最適化問題解決

競技時間ノード:

-チャレンジ開始時間:

nトラック1と2:2024年4月3日(地球上のどこでも)

nトラック3:2024年4月8日(地球上のどこでも)

-提出期限: 2024 年 5 月 27 日 (地球上のどこでも)

-コンテスト結果発表時期: 6 月 12 日 (地球上のどこでも)

コンテストのルール:

-参加者は同時に複数のトラックに参加できます

-参加者は、バックグラウンドで解答の予測と指標の計算を完了するためにモデル コードを提出する必要があります

- 各参加チームは 6 人を超えてはなりません

- 各トラックの上位 3 チームは、モデル コードをオープンソースにする必要があります

賞の設定:

- 各トラックの上位 3 名は賞金を受け取ります: 1 位 500 米ドル、2 位 300 米ドル、3 位 200 米ドル

- 各トラックの 1 位チームは ICML で口頭プレゼンテーションを行います2024 年のセミナーに参加すると、名誉証明書と 1,000 米ドルの旅行資金が贈られます

コンテスト URL:

参加者は、CodaBench プラットフォームを通じてモデル コードを提出し、テスト結果を表示できます。 -----セミナーはICML 2024期間中に開催されます-----

セミナーの形式:

-学界および産業界のトップ学者による特別招待講演

- AI数的推理チャレンジ

-口頭発表（優勝論文、優勝チーム）

-ポスター発表（すべての採択論文）

-ゲストラウンドテーブルディスカッション

特別講演ゲスト: 主催者: 組織単位: -----連絡先情報-----

関連のご質問は、メールでお問い合わせください:

ai4mathicml2024@gmail.com

以上がICML 2024 AI for Math ワークショップの論文募集とチャレンジが開始されました!の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。