Skip to Main Content
Table 10 
Scores for solving geometry questions on the SAT practice and official data sets and a data set of questions from the 20 textbooks. We use SAT’s grading scheme that rewards a correct answer with a score of 1.0 and penalizes a wrong answer with a negative score of 0.25. Oracle uses gold axioms but automatic text and diagram interpretation in our logical solver. All differences between GEOS and our system are significant (p < 0.05 using the two-tailed paired t-test).
PracticeOfficialTextbook
GEOS 61 49 32 
Our System 64 55 51 
Oracle 80 78 72 
PracticeOfficialTextbook
GEOS 61 49 32 
Our System 64 55 51 
Oracle 80 78 72 
Close Modal

or Create an Account

Close Modal
Close Modal