Technology peripherals
AI
ICML 2024 AI for Math Workshop call for papers and challenge launched!
ICML 2024 AI for Math Workshop call for papers and challenge launched!
- ICML 2024, AI for Math Workshop
- A workshop for formal and natural language AI mathematical reasoning
- Time: July 26/27, 2024
- Location: Vienna, Austria. Held simultaneously on site and online.
- Workshop Home Page: https://sites.google.com/view/ai4mathworkshopicml2024/
Mathematical reasoning is the most challenging and deep part of human intelligence. In the development process of mathematical reasoning, humans have summarized various formal languages, which can strictly describe mathematical problems and proof processes. In recent years, machine learning algorithms and large-scale language models are gradually approaching or even surpassing human performance in some mathematical reasoning. So, how should we develop AI mathematical reasoning next and make it the strongest assistant for humans to break through unknown mathematical fields?
This seminar aims to bring together experts and scholars from different subject backgrounds, industry and academia to discuss the development and prospects of AI mathematical reasoning. We will develop a discussion of a series of key but underexplored research questions. Mathematics is the theoretical and practical cornerstone of many scientific disciplines, including computer science and artificial intelligence, and we look forward to discussing a wide range of related research issues with attendees at the symposium.
-------Seminar Call for Papers-------
Call for Papers Topic:
Automatic formalization and duality automatic informalization
- Automatic theorem proving
- Automatic theorem Generate
- Code enhancement and aided mathematical reasoning
- Formal verification and code generation
- Evaluation metrics
- Relevant reasoning areas
- Applications
Awards:
- All accepted submissions will be presented at ICML 2024 Poster presentation at the seminar
- One best paper award will be established. The author will give an oral report at the ICML 2024 seminar and receive an honorary certificate and a free registration for the entire ICML 2024 session
- One honorable mention award will be established Name, the author will give an oral report at the ICML 2024 symposium, and receive an honorary certificate and a travel fund of US$1,000
Submission time node:
-Open submission time: March 27, 2024
-Submit Deadline: May 31, 2024 (Anywhere on Earth)
-Review results announcement time: June 12, 2024 (Anywhere on Earth)
-Final version submission time: June 26, 2024 (Anywhere on Earth)
Submission rules:
This seminar uses the OpenReview platform to implement standard double-blind review. The length of the main text of the submission is 2-8 pages, and there is no limit on the length of references and supplementary materials. The submission format and template follow the ICML 2024 submission guidelines: https://www.php.cn/link/003a8eb4813be2f8c5ad692ff1866162.
Submission URL:
Submit through the OpenReview platform.
Submission entrance: 
-------AI Mathematical Reasoning Challenge-------
This seminar encourages participants to submit papers or technical reports at the same time. The seminar will Create offline reporting and communication opportunities for everyone as much as possible. Please submit in accordance with the above submission rules and time points.
Three tracks (can compete at the same time):
-Track one: automatic formalization and automatic informalization
-Track two: automatic theorem generation and proof
-Track three: Code-assisted automatic optimization problem solving
Competition time node:
-Challenge start time:
nTrack one and two: April 3, 2024 (Anywhere on Earth)
nTrack three : April 8, 2024 (Anywhere on Earth)
-Submission deadline: May 27, 2024 (Anywhere on Earth)
-Competition results announcement time: June 12 (Anywhere on Earth)
Competition rules:
-Participants can participate in multiple tracks at the same time
-Participants need to submit model codes to complete answer predictions and indicator calculations in the background
-Each participating team must not exceed 6 people
-Each The top three in each track need to open source the model code
Award settings:
- The top three in each track will receive cash prizes: 1st place 500 US dollars, 2nd place 300 US dollars, 3rd place 200 US dollars
-The first place team in each track will give an oral presentation at the ICML 2024 seminar and receive a certificate of honor and a travel fund of US$1,000
Competition URL:
Contestants can submit model code and view test results through the CodaBench platform. 
-------The seminar will be held during ICML 2024-------
Format of the seminar:
-Specially invited lectures by top scholars from academia and industry
-AI Mathematical Reasoning Challenge
-Oral presentation (winning paper; winning team)
-Poster presentation (all accepted papers)
-Guest roundtable discussion
Special speaking guest: 
Organizer: 
Organizational unit: 
-------Contact information-------
For any related questions, please contact via email:
ai4mathicml2024@gmail.com
The above is the detailed content of ICML 2024 AI for Math Workshop call for papers and challenge launched!. For more information, please follow other related articles on the PHP Chinese website!
Hot AI Tools
Undresser.AI Undress
AI-powered app for creating realistic nude photos
AI Clothes Remover
Online AI tool for removing clothes from photos.
Undress AI Tool
Undress images for free
Clothoff.io
AI clothes remover
Video Face Swap
Swap faces in any video effortlessly with our completely free AI face swap tool!
Hot Article
Hot Tools
Notepad++7.3.1
Easy-to-use and free code editor
SublimeText3 Chinese version
Chinese version, very easy to use
Zend Studio 13.0.1
Powerful PHP integrated development environment
Dreamweaver CS6
Visual web development tools
SublimeText3 Mac version
God-level code editing software (SublimeText3)
Hot Topics
1664
14
1423
52
1317
25
1268
29
1242
24
DeepMind robot plays table tennis, and its forehand and backhand slip into the air, completely defeating human beginners
Aug 09, 2024 pm 04:01 PM
But maybe he can’t defeat the old man in the park? The Paris Olympic Games are in full swing, and table tennis has attracted much attention. At the same time, robots have also made new breakthroughs in playing table tennis. Just now, DeepMind proposed the first learning robot agent that can reach the level of human amateur players in competitive table tennis. Paper address: https://arxiv.org/pdf/2408.03906 How good is the DeepMind robot at playing table tennis? Probably on par with human amateur players: both forehand and backhand: the opponent uses a variety of playing styles, and the robot can also withstand: receiving serves with different spins: However, the intensity of the game does not seem to be as intense as the old man in the park. For robots, table tennis
The first mechanical claw! Yuanluobao appeared at the 2024 World Robot Conference and released the first chess robot that can enter the home
Aug 21, 2024 pm 07:33 PM
On August 21, the 2024 World Robot Conference was grandly held in Beijing. SenseTime's home robot brand "Yuanluobot SenseRobot" has unveiled its entire family of products, and recently released the Yuanluobot AI chess-playing robot - Chess Professional Edition (hereinafter referred to as "Yuanluobot SenseRobot"), becoming the world's first A chess robot for the home. As the third chess-playing robot product of Yuanluobo, the new Guoxiang robot has undergone a large number of special technical upgrades and innovations in AI and engineering machinery. For the first time, it has realized the ability to pick up three-dimensional chess pieces through mechanical claws on a home robot, and perform human-machine Functions such as chess playing, everyone playing chess, notation review, etc.
Claude has become lazy too! Netizen: Learn to give yourself a holiday
Sep 02, 2024 pm 01:56 PM
The start of school is about to begin, and it’s not just the students who are about to start the new semester who should take care of themselves, but also the large AI models. Some time ago, Reddit was filled with netizens complaining that Claude was getting lazy. "Its level has dropped a lot, it often pauses, and even the output becomes very short. In the first week of release, it could translate a full 4-page document at once, but now it can't even output half a page!" https:// www.reddit.com/r/ClaudeAI/comments/1by8rw8/something_just_feels_wrong_with_claude_in_the/ in a post titled "Totally disappointed with Claude", full of
At the World Robot Conference, this domestic robot carrying 'the hope of future elderly care' was surrounded
Aug 22, 2024 pm 10:35 PM
At the World Robot Conference being held in Beijing, the display of humanoid robots has become the absolute focus of the scene. At the Stardust Intelligent booth, the AI robot assistant S1 performed three major performances of dulcimer, martial arts, and calligraphy in one exhibition area, capable of both literary and martial arts. , attracted a large number of professional audiences and media. The elegant playing on the elastic strings allows the S1 to demonstrate fine operation and absolute control with speed, strength and precision. CCTV News conducted a special report on the imitation learning and intelligent control behind "Calligraphy". Company founder Lai Jie explained that behind the silky movements, the hardware side pursues the best force control and the most human-like body indicators (speed, load) etc.), but on the AI side, the real movement data of people is collected, allowing the robot to become stronger when it encounters a strong situation and learn to evolve quickly. And agile
ACL 2024 Awards Announced: One of the Best Papers on Oracle Deciphering by HuaTech, GloVe Time Test Award
Aug 15, 2024 pm 04:37 PM
At this ACL conference, contributors have gained a lot. The six-day ACL2024 is being held in Bangkok, Thailand. ACL is the top international conference in the field of computational linguistics and natural language processing. It is organized by the International Association for Computational Linguistics and is held annually. ACL has always ranked first in academic influence in the field of NLP, and it is also a CCF-A recommended conference. This year's ACL conference is the 62nd and has received more than 400 cutting-edge works in the field of NLP. Yesterday afternoon, the conference announced the best paper and other awards. This time, there are 7 Best Paper Awards (two unpublished), 1 Best Theme Paper Award, and 35 Outstanding Paper Awards. The conference also awarded 3 Resource Paper Awards (ResourceAward) and Social Impact Award (
Li Feifei's team proposed ReKep to give robots spatial intelligence and integrate GPT-4o
Sep 03, 2024 pm 05:18 PM
Deep integration of vision and robot learning. When two robot hands work together smoothly to fold clothes, pour tea, and pack shoes, coupled with the 1X humanoid robot NEO that has been making headlines recently, you may have a feeling: we seem to be entering the age of robots. In fact, these silky movements are the product of advanced robotic technology + exquisite frame design + multi-modal large models. We know that useful robots often require complex and exquisite interactions with the environment, and the environment can be represented as constraints in the spatial and temporal domains. For example, if you want a robot to pour tea, the robot first needs to grasp the handle of the teapot and keep it upright without spilling the tea, then move it smoothly until the mouth of the pot is aligned with the mouth of the cup, and then tilt the teapot at a certain angle. . this
Hongmeng Smart Travel S9 and full-scenario new product launch conference, a number of blockbuster new products were released together
Aug 08, 2024 am 07:02 AM
This afternoon, Hongmeng Zhixing officially welcomed new brands and new cars. On August 6, Huawei held the Hongmeng Smart Xingxing S9 and Huawei full-scenario new product launch conference, bringing the panoramic smart flagship sedan Xiangjie S9, the new M7Pro and Huawei novaFlip, MatePad Pro 12.2 inches, the new MatePad Air, Huawei Bisheng With many new all-scenario smart products including the laser printer X1 series, FreeBuds6i, WATCHFIT3 and smart screen S5Pro, from smart travel, smart office to smart wear, Huawei continues to build a full-scenario smart ecosystem to bring consumers a smart experience of the Internet of Everything. Hongmeng Zhixing: In-depth empowerment to promote the upgrading of the smart car industry Huawei joins hands with Chinese automotive industry partners to provide
Distributed Artificial Intelligence Conference DAI 2024 Call for Papers: Agent Day, Richard Sutton, the father of reinforcement learning, will attend! Yan Shuicheng, Sergey Levine and DeepMind scientists will give keynote speeches
Aug 22, 2024 pm 08:02 PM
Conference Introduction With the rapid development of science and technology, artificial intelligence has become an important force in promoting social progress. In this era, we are fortunate to witness and participate in the innovation and application of Distributed Artificial Intelligence (DAI). Distributed artificial intelligence is an important branch of the field of artificial intelligence, which has attracted more and more attention in recent years. Agents based on large language models (LLM) have suddenly emerged. By combining the powerful language understanding and generation capabilities of large models, they have shown great potential in natural language interaction, knowledge reasoning, task planning, etc. AIAgent is taking over the big language model and has become a hot topic in the current AI circle. Au
