ICML 2024 AI for Math Workshop panggilan untuk kertas kerja dan cabaran dilancarkan!

• ICML 2024, Bengkel AI untuk Matematik
• Sebuah bengkel untuk penaakulan matematik AI bahasa formal dan semula jadi
• Masa: 26/27 Julai 2024
• Lokasi: Vienna, Austria. Diadakan serentak di tapak dan dalam talian.
• Laman Utama Bengkel: https://sites.google.com/view/ai4mathworkshopicml2024/

Penaakulan matematik ialah bahagian kecerdasan manusia yang paling mencabar dan mendalam. Dalam proses pembangunan penaakulan matematik, manusia telah meringkaskan pelbagai bahasa formal, yang boleh menerangkan dengan tegas masalah matematik dan proses pembuktian. Dalam beberapa tahun kebelakangan ini, algoritma pembelajaran mesin dan model bahasa berskala besar secara beransur-ansur menghampiri atau bahkan mengatasi prestasi manusia dalam beberapa penaakulan matematik. Jadi, bagaimanakah kita harus membangunkan penaakulan matematik AI seterusnya dan menjadikannya pembantu terkuat bagi manusia untuk menembusi bidang matematik yang tidak diketahui?

Seminar ini bertujuan untuk mengumpulkan pakar dan sarjana dari latar belakang subjek, industri dan akademik yang berbeza untuk membincangkan perkembangan dan prospek penaakulan matematik AI. Kami akan membangunkan perbincangan tentang satu siri soalan penyelidikan utama tetapi kurang diterokai. Matematik ialah asas teori dan praktikal bagi banyak disiplin saintifik, termasuk sains komputer dan kecerdasan buatan, dan kami tidak sabar-sabar untuk membincangkan pelbagai isu penyelidikan berkaitan dengan peserta di simposium.

-------Seminar Call for Papers-------

Call for Papers Topik:

Pemformalan automatik dan dualiti automatik informalization

• Program Automatik
• Peningkatan kod dan penaakulan matematik terbantu
• Pengesahan formal dan penjanaan kod
• Metrik penilaian
• Bidang penaakulan yang berkaitan
• Permohonan

diterima:

dibentangkan pada pembentangan Poster ICML 2024 di seminar

- Satu anugerah kertas terbaik akan diwujudkan Penulis akan memberikan laporan lisan di seminar ICML 2024 dan menerima sijil kehormat dan pendaftaran percuma untuk keseluruhan ICML 2024

- Satu anugerah sebutan kehormat akan ditubuhkan Nama. , penulis akan memberikan laporan lisan di simposium ICML 2024, dan menerima sijil kehormat dan dana perjalanan sebanyak AS$1,000

Nod masa penyerahan:

-Masa penyerahan terbuka: 27 Mac 2024

Tarikh Akhir : 31 Mei 2024 (Di mana-mana di Bumi)

-Masa pengumuman keputusan semakan: 12 Jun 2024 (Di mana-mana di Bumi)

-Masa penyerahan versi akhir: 26 Jun 2024 (Di mana-mana di Bumi)

peraturan Sub

Seminar ini menggunakan platform OpenReview untuk melaksanakan semakan dua buta standard. Panjang teks utama penyerahan ialah 2-8 halaman, dan tiada had untuk panjang rujukan dan bahan tambahan. Format penyerahan dan templat mengikut garis panduan penyerahan ICML 2024: https://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162.

URL Penyerahan:

Serahkan melalui platform OpenReview.

Submission entrance:

-------AI Mathematical Reasoning Challenge-------

Seminar ini menggalakkan peserta menghantar kertas kerja atau laporan teknikal pada masa yang sama Cipta peluang pelaporan dan komunikasi luar talian untuk semua orang sebanyak mungkin. Sila hantar mengikut peraturan penyerahan dan titik masa di atas.

Tiga trek (boleh bersaing pada masa yang sama):

-Jejak satu: pemformalan automatik dan pemakluman automatik

-Jejak dua: penjanaan teorem automatik dan pembuktian

-Jejak tiga automatik: Pengoptimuman automatik penyelesaian masalah

Nod masa pertandingan:

-Masa mula cabaran:

nJejak satu dan dua: 3 April 2024 (Di mana-mana di Bumi)

nJejaki tiga : 8 April 2024

)

(Di mana-mana di Bumi

)

Tarikh akhir penyerahan: 27 Mei 2024 (Anywhere on Earth)

-Masa pengumuman keputusan pertandingan: 12 Jun (Anywhere on Earth)

Peraturan pertandingan:

-Peserta boleh menyertai berbilang trek-

pada masa yang sama

Peserta perlu menyerahkan kod model untuk melengkapkan ramalan jawapan dan pengiraan penunjuk di latar belakang

-Setiap pasukan yang mengambil bahagian tidak boleh melebihi 6 orang

-Setiap Tiga teratas dalam setiap trek perlu membuka sumber kod model

Tetapan anugerah:

- Tiga teratas dalam setiap trek akan menerima hadiah wang tunai: tempat pertama 500 dolar AS, tempat kedua 300 dolar AS, tempat ketiga 200 dolar AS

-Pasukan tempat pertama dalam setiap trek akan memberikan persembahan lisan di ICML Seminar 2024 dan menerima sijil kepujian dan dana perjalanan sebanyak AS$1,000

URL Pertandingan: 🎜🎜

Peserta boleh menyerahkan kod model dan melihat keputusan ujian melalui platform CodaBench. . AI Mathematical Reasoning Challenge-Pembentangan lisan (kertas pemenang; pasukan pemenang)

-Pembentangan poster (semua kertas yang diterima)

-Perbincangan meja bulat tetamu

Tetamu penceramah khas:

:

Pengurusan:

-------Maklumat hubungan-------Untuk sebarang pertanyaan berkaitan, sila hubungi melalui e-mel: ai4mathicml2024@gmail.com

Atas ialah kandungan terperinci ICML 2024 AI for Math Workshop panggilan untuk kertas kerja dan cabaran dilancarkan!. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!