Ausschreibung und Herausforderung für den ICML 2024 AI for Math Workshop gestartet!

• ICML 2024, AI for Math Workshop
• Ein Workshop für formales und natürliches KI-mathematisches Denken
• Zeitpunkt: 26./27. Juli 2024
• Ort: Wien, Österreich. Findet gleichzeitig vor Ort und online statt.
• Workshop-Startseite: https://sites.google.com/view/ai4mathworkshopicml2024/

Mathematisches Denken ist der anspruchsvollste und tiefgründigste Teil der menschlichen Intelligenz. Im Entwicklungsprozess des mathematischen Denkens hat der Mensch verschiedene formale Sprachen zusammengefasst, die mathematische Probleme und Beweisprozesse streng beschreiben können. In den letzten Jahren nähern sich maschinelle Lernalgorithmen und groß angelegte Sprachmodelle in einigen mathematischen Überlegungen allmählich der menschlichen Leistung an oder übertreffen sie sogar. Wie sollten wir also als nächstes das mathematische Denken der KI weiterentwickeln und sie zum stärksten Helfer für den Menschen machen, der unbekannte mathematische Felder durchbricht?

Dieses Seminar zielt darauf ab, Experten und Wissenschaftler mit unterschiedlichem Fachhintergrund, Industrie und Wissenschaft zusammenzubringen, um die Entwicklung und Perspektiven des mathematischen Denkens mit KI zu diskutieren. Wir werden eine Diskussion über eine Reihe wichtiger, aber noch wenig erforschter Forschungsfragen entwickeln. Mathematik ist der theoretische und praktische Eckpfeiler vieler wissenschaftlicher Disziplinen, darunter Informatik und künstliche Intelligenz, und wir freuen uns darauf, mit den Teilnehmern des Symposiums ein breites Spektrum verwandter Forschungsthemen zu diskutieren.

... Codeerweiterung und unterstütztes mathematisches Denken

Formelle Verifizierung und Codegenerierung Bewertungsmetriken

Relevante Argumentationsbereiche

Anwendungen
• Auszeichnungen:
• - Alle angenommenen Einreichungen werden im ICML präsentiert. 2024 Posterpräsentation im Seminar
• – Es wird ein Preis für die beste Arbeit vergeben. Der Autor wird beim ICML 2024-Seminar einen mündlichen Bericht halten und eine Ehrenurkunde sowie eine kostenlose Registrierung für die gesamte ICML 2024-Sitzung erhalten.
• – Es wird ein Preis für die ehrenvolle Erwähnung vergeben , der Autor wird auf dem ICML 2024-Symposium einen mündlichen Bericht halten und eine Ehrenurkunde und ein Reisegeld in Höhe von 1.000 US-Dollar erhalten
• Einreichungszeitpunkt:

-Offene Einreichungszeit: 27. März 2024

-Einreichungsschluss : 31. Mai 2024 (überall auf der Erde)

– Ankündigungszeit der Überprüfungsergebnisse: 12. Juni 2024 (überall auf der Erde)

– Einreichungszeit der endgültigen Version: 26. Juni 2024 (überall auf der Erde)

Einreichungsregeln:

Dieses Seminar nutzt die OpenReview-Plattform, um die Standard-Doppelblindbegutachtung zu implementieren. Die Länge des Haupttextes der Einreichung beträgt 2-8 Seiten, die Länge der Referenzen und ergänzenden Materialien ist unbegrenzt. Das Einreichungsformat und die Vorlage folgen den ICML 2024-Einreichungsrichtlinien:

//m.sbmmt.com/link/003a8eb4813be2f8c5ad692ff1866162

.

Einreichungs-URL:

Einreichen über die OpenReview-Plattform.

Zugang zur Einreichung:

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

Dieses Seminar ermutigt die Teilnehmer, gleichzeitig Papiere oder technische Berichte einzureichen Schaffen Sie so weit wie möglich Offline-Berichts- und Kommunikationsmöglichkeiten für alle. Bitte reichen Sie Ihre Unterlagen gemäß den oben genannten Einreichungsregeln und -fristen ein.

Drei Tracks (können gleichzeitig konkurrieren):

-Track eins: automatische Formalisierung und automatische Informalisierung

-Track zwei: automatische Theoremgenerierung und -beweis

-Track drei: Code-unterstützte automatische Optimierung ProblemlösungWettbewerbszeitknoten:

-Startzeit der Herausforderung:

nTrack eins und zwei: 3. April 2024 (irgendwo auf der Erde)

nTrack drei: 8. April 2024 (irgendwo auf der Erde)

- Einsendeschluss: 27. Mai 2024 (überall auf der Welt)

– Bekanntgabe der Wettbewerbsergebnisse: 12. Juni (überall auf der Welt)

Wettbewerbsregeln:

– Teilnehmer können an mehreren Strecken gleichzeitig teilnehmen

- Die Teilnehmer müssen Modellcodes einreichen, um Antwortvorhersagen und Indikatorberechnungen im Hintergrund abzuschließen.

– Jedes teilnehmende Team darf nicht mehr als 6 Personen umfassen.

– Die ersten drei in jedem Track erhalten Geldpreise: 1. Platz 500 US-Dollar, 2. Platz 300 US-Dollar, 3. Platz 200 US-Dollar

– Das erstplatzierte Team in jedem Track wird eine mündliche Präsentation beim ICML halten Nehmen Sie am Seminar 2024 teil und erhalten Sie eine Ehrenurkunde und einen Reisefonds in Höhe von 1.000 US-Dollar

Wettbewerbs-URL:

Teilnehmer können über die CodaBench-Plattform Modellcode einreichen und Testergebnisse einsehen. -------Das Seminar findet während der ICML 2024 statt-------

Format des Seminars:

-Speziell eingeladene Vorträge von Top-Wissenschaftlern aus Wissenschaft und Industrie

- AI Mathematical Reasoning Challenge

-Mündlicher Vortrag (Gewinnerpapier; Gewinnerteam)

-Posterpräsentation (alle akzeptierten Papiere)

-Gast-Roundtable-Diskussion

Besonderer Rednergast: Organisator: Organisationseinheit: -------Kontaktinformationen-------

Bei diesbezüglichen Fragen wenden Sie sich bitte per E-Mail an:

ai4mathicml2024@gmail.com

Das obige ist der detaillierte Inhalt vonAusschreibung und Herausforderung für den ICML 2024 AI for Math Workshop gestartet!. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!