A learning mechanism to enhance the time efficiency of proving theorems.

Ahmad Almonayyes, Hazem M. Raafat, Mohammed Almulla

Browse the full CATA paper archive.