수학을 위한 ICML 2024 AI 워크숍 논문 모집 및 챌린지 개시!

• 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 제출 지침(https://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162)을 따릅니다.

제출 URL:

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

제출 접수:

------AI 수학적 추론 챌린지---------

본 세미나는 참가자들이 동시에 논문이나 기술 보고서를 제출하도록 권장합니다. 가능한 한 모든 사람을 위한 오프라인 보고 및 커뮤니케이션 기회를 만드세요. 위의 제출규정 및 시점을 준수하여 제출해주시기 바랍니다.

3개 트랙(동시 경쟁 가능):

-트랙 1: 자동 형식화 및 자동 비공식화

-트랙 2: 자동 정리 생성 및 증명

-트랙 3: 코드 기반 자동 최적화 문제 해결

대회 시간 노드:

-챌린지 시작 시간:

n트랙 1과 2: 2024년 4월 3일(지구 어디에서나)

n트랙 3: 2024년 4월 8일(지구 어디에서나)

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

- 대회 결과 발표 시간: 6월 12일(Anywhere on Earth)

대회 규칙:

- 참가자는 동시에 여러 트랙에 참가할 수 있습니다

- 참가자는 백그라운드에서 답변 예측 및 지표 계산을 완료하려면 모델 코드를 제출해야 합니다

- 각 참여 팀은 6명을 초과할 수 없습니다

- 각 트랙의 상위 3명은 모델 코드를 오픈 소스로 제공해야 합니다

시상 설정:

- 각 트랙의 상위 3위에게는 상금이 수여됩니다: 1위 500달러, 2위 300달러, 3위 200달러

- 각 트랙의 1위 팀은 ICML에서 구두 발표를 합니다. 2024 세미나에 참석하고 명예 증서와 US$1,000

여행비를 받으세요. 대회 URL:

참가자는 CodaBench 플랫폼을 통해 모델 코드를 제출하고 테스트 결과를 볼 수 있습니다. ---------세미나는 ICML 2024 기간 동안 개최됩니다-------

세미나 형식:

-학계 및 산업계 최고 학자들의 특별 초청 강연

- AI 수학적 추론 챌린지

- 구두 발표(우승 논문, 우승 팀)

- 포스터 발표(모든 논문 접수)

- 게스트 원탁 토론

특별 강연 게스트: 주최자: 조직 단위: -------연락처-------

관련 문의사항은 이메일로 연락주세요:

ai4mathicml2024@gmail.com

위 내용은 수학을 위한 ICML 2024 AI 워크숍 논문 모집 및 챌린지 개시!의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!