Makni, Bassem

1. Learning to Guide a Saturation-Based Theorem Prover
   2021/06/07 by Abdelaziz, Ibrahim, Crouse, Maxwell, Makni, Bassem +8 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Improving Natural Language Inference Using External Knowledge in the Science Questions Domain
   2018/09/15 by Wang, Xiaoyan, Kapanipathi, Pavan, Musa, Ryan +8 · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
   2019/11/05 by Kapanipathi, Pavan, Thost, Veronika, Patel, Siva Sankalp +10 · 1 citation
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences