6 citations · 22 across the 16 of their papers we have counts for
5 papers · 1 filter
Federated Data Science to Break Down Silos [Vision]
Essam Mansour, Kavitha Srinivas, Katja Hose
Similar to Open Data initiatives, data science as a community has launched initiatives for sharing not only data but entire pipelines, derivatives, artifacts, etc. (Open Data Scien…
A Scalable AutoML Approach Based on Graph Neural Networks
Mossad Helali, Essam Mansour, Ibrahim Abdelaziz +2
AutoML systems build machine learning models automatically by performing a search over valid data transformations and learners, along with hyper-parameter optimization for each lea…
Can Machines Read Coding Manuals Yet? -- A Benchmark for Building Better Language Models for Code Understanding
Ibrahim Abdelaziz, Julian Dolby, Jamie McCusker +1
Code understanding is an increasingly important application of Artificial Intelligence. A fundamental aspect of understanding code is understanding text about code, e.g., documenta…
Euclidean algorithm in Galois Quartic Fields
K Srinivas, M Subramani, Usha K Sangale
We prove that all imaginary biquadratic fields and cyclic quartic fields of class number are Euclidean.
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8
Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…