Learning Reasoning Computing Axiomatization Decision Estimation