25 citations · 89 across the 12 of their papers we have counts for
5 papers · 1 filter
Schemaless Queries over Document Tables with Dependencies
Mustafa Canim, Cristina Cornelio, Arun Iyengar +2
Unstructured enterprise data such as reports, manuals and guidelines often contain tables. The traditional way of integrating data from these tables is through a two-step process o…
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio +4
Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. I…
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni +7
Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to o…
Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis
Cristina Cornelio, Michele Donini, Andrea Loreggia +2
In many machine learning scenarios, looking for the best classifier that fits a particular dataset can be very costly in terms of time and resources. Moreover, it can require deep…
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools
Cristina Cornelio, Veronika Thost
Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a…