Ibrahim Abdelaziz

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code