수학을 위한 ICML 2024 AI 워크숍 논문 모집 및 챌린지 개시!-일체 포함-php.cn

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

ICML 2024, AI for Math 워크샵
공식 및 자연어 AI 수학적 추론을 위한 워크샵
시간: 2024년 7월 26/27일
장소: 오스트리아 비엔나. 현장과 온라인을 동시에 진행합니다.
워크숍 홈페이지:https://sites.google.com/view/ai4mathworkshopicml2024/

수학적 추론은 인간 지능의 가장 어렵고 깊은 부분입니다. 수학적 추론의 발전 과정에서 인간은 수학적 문제와 증명 과정을 엄밀하게 기술할 수 있는 다양한 형식 언어를 요약해 왔다. 최근 몇 년 동안 기계 학습 알고리즘과 대규모 언어 모델은 일부 수학적 추론에서 점차 인간의 성능에 접근하거나 심지어 능가하고 있습니다. 그렇다면 다음에는 AI 수학적 추론을 어떻게 발전시켜 인간이 미지의 수학 분야를 돌파할 수 있는 가장 강력한 조력자로 만들어야 할까요?

이 세미나는 다양한 주제 배경, 산업계, 학계의 전문가와 학자들을 모아 AI 수학적 추론의 발전과 전망을 논의하는 것을 목표로 합니다. 우리는 핵심이지만 충분히 탐구되지 않은 일련의 연구 질문에 대한 논의를 발전시킬 것입니다. 수학은 컴퓨터 과학, 인공지능 등 다양한 과학 분야의 이론적, 실무적 초석입니다. 이번 심포지엄에서는 참석자들과 함께 관련 연구 문제에 대해 폭넓게 논의할 수 있기를 기대합니다.

---------논문 세미나 모집------

논문 모집 주제:

자동 형식화 및 이중성 자동 비공식화

자동 정리 증명
자동 정리 생성
코드 향상 및 보조 수학적 추론
공식 검증 및 코드 생성
평가 지표
관련 추론 영역
응용 프로그램

수상:

- 승인된 모든 제출물은 ICML 2024 포스터 프레젠테이션에서 발표됩니다. 에 세미나

- 최우수 논문상 1개가 제정됩니다. 저자는 ICML 2024 세미나에서 구두 보고를 하고 명예 증서와 ICML 2024 세션 전체에 대한 무료 등록을 받게 됩니다.

- 우수 논문상 1개가 제정됩니다. , 저자는 ICML 2024 심포지엄에서 구두 보고를 할 예정이며, 명예 증서와 US$1,000

투고 시간 노드:

- 공개 투고 시간: 2024년 3월 27일

- 제출 마감일 : 2024년 5월 31일(Anywhere on Earth)

- 심사 결과 발표 시기 : 2024년 6월 12일(Anywhere on Earth)

- 최종 버전 제출 시기 : 2024년 6월 26일(Anywhere on Earth)

제출 규칙:

이 세미나는 OpenReview 플랫폼을 사용하여 표준 이중 맹검 검토를 구현합니다. 제출물의 본문 길이는 2~8쪽이며, 참고문헌 및 보충자료의 길이에는 제한이 없다. 제출 형식과 템플릿은 ICML 2024 제출 지침(//m.sbmmt.com/link/003a8eb4813be2f8c5ad692ff1866162)을 따릅니다.

제출 URL:

OpenReview 플랫폼을 통해 제출하세요.

제출 접수: ICML 2024 AI for Math Workshop 征稿和挑战赛启动！