Appel à communications et défi lancés pour l'atelier ICML 2024 sur l'IA pour les mathématiques !

• ICML 2024, AI for Math Workshop
• Un atelier sur le raisonnement mathématique de l'IA en langage formel et naturel
• Heure : 26 et 27 juillet 2024
• Lieu : Vienne, Autriche. Organisé simultanément sur place et en ligne.
• Page d'accueil de l'atelier : https://sites.google.com/view/ai4mathworkshopicml2024/

Le raisonnement mathématique est la partie la plus difficile et la plus profonde de l'intelligence humaine. Dans le processus de développement du raisonnement mathématique, les humains ont résumé divers langages formels, capables de décrire strictement des problèmes mathématiques et des processus de preuve. Ces dernières années, les algorithmes d’apprentissage automatique et les modèles de langage à grande échelle se rapprochent progressivement, voire dépassent, les performances humaines dans certains raisonnements mathématiques. Alors, comment devrions-nous ensuite développer le raisonnement mathématique de l’IA et en faire l’assistant le plus puissant permettant aux humains de percer dans des domaines mathématiques inconnus ?

Ce séminaire vise à rassembler des experts et des universitaires de différents horizons, industriels et universitaires pour discuter du développement et des perspectives du raisonnement mathématique de l'IA. Nous développerons une discussion sur une série de questions de recherche clés mais sous-explorées. Les mathématiques constituent la pierre angulaire théorique et pratique de nombreuses disciplines scientifiques, notamment l'informatique et l'intelligence artificielle, et nous sommes impatients de discuter d'un large éventail de questions de recherche connexes avec les participants au symposium.

-------Appel à communications pour séminaire-------

Appel à communications Sujet :

Formalisation automatique et formalisation automatique de la dualité

• Démonstration automatique du théorème
• Génération automatique du théorème
• Amélioration du code et raisonnement mathématique assisté
• Vérification formelle et génération de code
• Mesures d'évaluation
• Domaines de raisonnement pertinents
• Applications

Récompenses :

- Toutes les soumissions acceptées seront présentées lors de la présentation des affiches de l'ICML 2024 à la séminaire

- Un prix du meilleur article sera établi. L'auteur fera un rapport oral au séminaire ICML 2024 et recevra un certificat honorifique et une inscription gratuite pour l'ensemble de la session ICML 2024

- Un prix de mention honorable sera établi Nom , l'auteur fera un rapport oral au symposium ICML 2024 et recevra un certificat honorifique et un fonds de voyage de 1 000 $ US. : 31 mai 2024 (Partout sur Terre)

-Heure d'annonce des résultats de révision : 12 juin 2024 (Partout sur Terre)-Heure de soumission de la version finale : 26 juin 2024 (Partout sur Terre)

Règles de soumission :

Ce séminaire utilise la plateforme OpenReview pour mettre en œuvre une évaluation standard en double aveugle. La longueur du texte principal de la soumission est de 2 à 8 pages, et il n'y a aucune limite quant à la longueur des références et des documents supplémentaires. Le format et le modèle de soumission suivent les directives de soumission de l'ICML 2024 :

https://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162

.

URL de soumission :

Soumettez via la plateforme OpenReview. Entrée de soumission :

-------Défi de raisonnement mathématique IA-------

Ce séminaire encourage les participants à soumettre des articles ou des rapports techniques en même temps. Créez autant que possible des opportunités de reporting et de communication hors ligne pour tout le monde. Veuillez soumettre votre candidature conformément aux règles de soumission et aux délais ci-dessus.

Trois pistes (peuvent concourir en même temps) :

-Piste première : formalisation automatique et formalisation automatique-Piste deux : génération et preuve automatiques de théorèmes

-Piste trois : optimisation automatique assistée par code résolution de problèmes

Nœud d'heure de la compétition :

-Heure de début du défi :

nPiste un et deux : 3 avril 2024 (n'importe où sur Terre)

nPiste trois : 8 avril 2024 (n'importe où sur Terre)- Date limite de soumission : 27 mai 2024 (partout sur Terre)

-Heure d'annonce des résultats du concours : 12 juin (partout sur Terre)

Règles du concours :

-Les participants peuvent participer à plusieurs pistes en même temps

- Les participants doivent soumettre des codes de modèle pour compléter les prédictions de réponses et les calculs d'indicateurs en arrière-plan

-Chaque équipe participante ne doit pas dépasser 6 personnes-Chacune Les trois premiers de chaque piste doivent ouvrir le code du modèle

Paramètres des récompenses :

- Les trois premiers de chaque piste recevront des prix en espèces : 1ère place 500 dollars US, 2ème place 300 dollars US, 3ème place 200 dollars US

-L'équipe première place dans chaque piste fera une présentation orale à l'ICML Séminaire 2024 et recevez un certificat d'honneur et un fonds de voyage de 1 000 US$

URL du concours :

Les candidats peuvent soumettre le code du modèle et consulter les résultats des tests via la plateforme CodaBench. -------Le séminaire aura lieu pendant l'ICML 2024-------

Format du séminaire :

-Conférences spécialement invitées par les meilleurs universitaires du monde universitaire et de l'industrie

- AI Mathematical Reasoning Challenge

-Présentation orale (article gagnant; équipe gagnante)

-Présentation par affiche (tous les articles acceptés)

-Table ronde avec invités

Invité spécial: Organisateur: Unité organisationnelle: -------Coordonnées-------

Pour toute question connexe, veuillez contacter par e-mail :

ai4mathicml2024@gmail.com

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!