no code implementations • Findings (EMNLP) 2021 • Kezhen Chen, Qiuyuan Huang, Daniel McDuff, Xiang Gao, Hamid Palangi, JianFeng Wang, Kenneth Forbus, Jianfeng Gao
Based on these annotations, we define two different tasks for the NICE dataset.
no code implementations • 5 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.
1 code implementation • AKBC 2021 • Danilo Neves Ribeiro, Kenneth Forbus
Learning structured knowledge from natural language text has been a long-standing challenge.
1 code implementation • 7 Apr 2020 • Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth Forbus
Analogy is core to human cognition.
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.
Ranked #1 on Automated Theorem Proving on HolStep (Conditional)
no code implementations • 9 Jan 2019 • Maxwell Crouse, Achille Fokoue, Maria Chang, Pavan Kapanipathi, Ryan Musa, Constantine Nakos, Lingfei Wu, Kenneth Forbus, Michael Witbrock
Machine learning systems regularly deal with structured data in real-world applications.
BIG-bench Machine Learning Vocal Bursts Intensity Prediction