Search Results for author: Kenneth Forbus

Found 6 papers, 3 papers with code

Towards Zero-Shot Frame Semantic Parsing with Task Agnostic Ontologies and Simple Labels

no code implementations5 May 2023 Danilo Ribeiro, Omid Abdar, Jack Goetz, Mike Ross, Annie Dong, Kenneth Forbus, Ahmed Mohamed

In this work we propose OpenFSP, a framework that allows for easy creation of new domains from a handful of simple labels that can be generated without specific NLP knowledge.

Semantic Parsing Sentence +1

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

1 code implementation arXiv 2020 Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue

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.

Automated Theorem Proving

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