Artificial Intelligence · Computer Science
Physics Supernova: AI Agent Matches Elite Gold Medalists at IPhO 2025
Jiahao Qiu, Jingzhe Shi, Xinzhe Juan, Zelin Zhao +5
2025-09-03
Artificial Intelligence · Computer Science
PhysicsMinions: Winning Gold Medals in the Latest Physics Olympiads with a Coevolutionary Multimodal Multi-Agent System
Fangchen Yu, Junchi Yao, Ziyi Wang, Haiyuan Wan +9
2025-09-30
Computation and Language · Computer Science
Mastering Olympiad-Level Physics with Artificial Intelligence
Dong-Shan Jian, Xiang Li, Chen-Xu Yan, Hui-Wen Zheng +9
2026-02-19
Artificial Intelligence · Computer Science
HiPhO: How Far Are (M)LLMs from Humans in the Latest High School Physics Olympiad Benchmark?
Fangchen Yu, Haiyuan Wan, Qianjia Cheng, Yuchen Zhang +13
2025-09-22
Machine Learning · Computer Science
P1: Mastering Physics Olympiads with Reinforcement Learning
Jiacheng Chen, Qianjia Cheng, Fangchen Yu, Haiyuan Wan +24
2025-11-18
Formal Languages and Automata Theory · Computer Science
On Algorithms verifying Initial-and-Final-State Opacity: Complexity, Special Cases, and Comparison
Tomáš Masopust, Petr Osička
2024-12-25
Computation and Language · Computer Science
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, Maria Drencheva +4
2025-09-08
Artificial Intelligence · Computer Science
RIMO: An Easy-to-Evaluate, Hard-to-Solve Olympiad Benchmark for Advanced Mathematical Reasoning
Ziye Chen, Chengwei Qin, Yao Shu
2025-09-10
Computation and Language · Computer Science
OlympicArena Medal Ranks: Who Is the Most Intelligent AI So Far?
Zhen Huang, Zengzhi Wang, Shijie Xia, Pengfei Liu
2024-06-27
Artificial Intelligence · Computer Science
ChemLabs on ChemO: A Multi-Agent System for Multimodal Reasoning on IChO 2025
Qiang Xu, Shengyuan Bai, Leqing Chen, Zijing Liu +1
2025-12-10
Computers and Society · Computer Science
Evaluating Gemini in an arena for learning
LearnLM Team, Abhinit Modi, Aditya Srikanth Veerubhotla, Aliya Rysbek +33
2025-06-02
Multiagent Systems · Computer Science
AI-Olympics: Exploring the Generalization of Agents through Open Competitions
Chen Wang, Yan Song, Shuai Wu, Sa Wu +3
2024-05-24
Artificial Intelligence · Computer Science
QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
LM-Provers, Yuxiao Qu, Amrith Setlur, Jasper Dekoninck +5
2026-04-07
Artificial Intelligence · Computer Science
RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Hamed Mahdavi, Pouria Mahdavinia, Samira Malek, Pegah Mohammadipour +6
2025-10-13
Artificial Intelligence · Computer Science
A quest for a fair schedule: The Young Physicists' Tournament
Katarína Cechlárová, Ágnes Cseh, Zsuzsanna Jankó, Marián Kireš +1
2021-04-20
Computation and Language · Computer Science
Towards Robust Mathematical Reasoning
Thang Luong, Dawsen Hwang, Hoang H. Nguyen, Golnaz Ghiasi +16
2025-11-04
Artificial Intelligence · Computer Science
The 2017 AIBIRDS Competition
Matthew Stephenson, Jochen Renz, Xiaoyu Ge, Peng Zhang
2018-03-15
Artificial Intelligence · Computer Science
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu +8
2023-12-06
Artificial Intelligence · Computer Science
Aristotle: IMO-level Automated Theorem Proving
Tudor Achim, Alex Best, Alberto Bietti, Kevin Der +19
2025-10-14