This is mainly due to the fact that the rationales are not complete programs and fail to explicitly describe all important numbers and operations required to solve the problem.
the base model is referred to as "Seq2prog," while our model with categorization is "Seq2prog + cat."