We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).
Primary LanguagePython