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

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

WBOY

リリース： 2024-07-18 05:36:50

オリジナル

628 人が閲覧しました

ICML 2024 AI for Math Workshop 征稿和挑战赛启动！

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プラットフォームを通じて提出してください。

提出入口: ICML 2024 AI for Math Workshop 征稿和挑战赛启动！