Machine Learning Approach to Enhance the Design of Automated Theorem Provers.

Mahdi Khalifa, Hazem M. Raafat, Mohammed Almulla

Browse the full ICONIP paper archive.