Sana Stojanović-Đurđević

Formalizing IMO Problems and Solutions in Isabelle/HOL

2020 · Electronic Proceedings in Theoretical Computer Science

The International Mathematical Olympiad (IMO) is perhaps the most celebrated mental competition in the world and as such is among the greatest grand challenges for Artificial Intelligence (AI). The IMO Grand Challenge, recently formulated, requires …