In the ARC paper, aside from the IR and the PMI solver implementations, curious why the Inference based solvers from (Clark et al., 2016) (RULE, ILP) or Aristo were not used for the demarcation between easy and challenging questions. Neither do they appear in Table 6, where the scores of various implementations are listed.
In the ARC paper, aside from the IR and the PMI solver implementations, curious why the Inference based solvers from (Clark et al., 2016) (RULE, ILP) or Aristo were not used for the demarcation between easy and challenging questions. Neither do they appear in Table 6, where the scores of various implementations are listed.