Search Results for author: Kavitha Srinivas

Found 9 papers, 4 papers with code

A Survey on Semantics in Automated Data Science

no code implementations16 May 2022 Udayan Khurana, Kavitha Srinivas, Horst Samulowitz

Data Scientists leverage common sense reasoning and domain knowledge to understand and enrich data for building predictive models.

Common Sense Reasoning Data Augmentation +1

Federated Data Science to Break Down Silos [Vision]

no code implementations25 Nov 2021 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.

A Scalable AutoML Approach Based on Graph Neural Networks

1 code implementation29 Oct 2021 Mossad Helali, Essam Mansour, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas

AutoML systems build machine learning models automatically by performing a search over valid data transformations and learners, along with hyper-parameter optimization for each learner.

AutoML Graph Generation +1

Results of SemTab 2021

no code implementations ISWC 2021 Vincenzo Cutrona, Jiaoyan Chen, Vasilis Efthymiou, Oktie Hassanzadeh, Ernesto Jimenez-Ruiz, Juan Sequeda, Kavitha Srinivas, Nora Abdelmageed

SemTab 2021 was the third edition of the Semantic Web Challenge on Tabular Data to Knowledge Graph Matching, successfully collocated with the 20th International Semantic Web Conference (ISWC) and the 16th Ontology Matching (OM) Workshop.

Graph Matching Table annotation

Learning to Guide a Saturation-Based Theorem Prover

no code implementations7 Jun 2021 Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

In addition, to the best of our knowledge, TRAIL is the first reinforcement learning-based approach to exceed the performance of a state-of-the-art traditional theorem prover on a standard theorem proving benchmark (solving up to 17% more problems).

Automated Theorem Proving reinforcement-learning

A Toolkit for Generating Code Knowledge Graphs

1 code implementation21 Feb 2020 Ibrahim Abdelaziz, Julian Dolby, Jamie McCusker, Kavitha Srinivas

We make the toolkit to build such graphs as well as the sample extraction of the 2 billion triples graph publicly available to the community for use.

Code Search Image Classification +2

Merging datasets through deep learning

1 code implementation5 Sep 2018 Kavitha Srinivas, Abraham Gale, Julian Dolby

Our approach depends on (a) creating a deep learning model that maps surface forms of an entity into a set of vectors such that alternate forms for the same entity are closest in vector space, (b) indexing these vectors using a nearest neighbors algorithm to find the forms that can be potentially joined together.

Metric Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.