Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Michael Witbrock

Learning to Guide a Saturation-Based Theorem Prover

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

  Access Paper or Ask Questions

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies

Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue

  Access Paper or Ask Questions

A Sequential Set Generation Method for Predicting Set-Valued Outputs

Mar 12, 2019
Tian Gao, Jie Chen, Vijil Chenthamarakshan, Michael Witbrock

* Published at AAAI 2019 

  Access Paper or Ask Questions

High-Fidelity Vector Space Models of Structured Data

Jan 15, 2019
Maxwell Crouse, Achille Fokoue, Maria Chang, Pavan Kapanipathi, Ryan Musa, Constantine Nakos, Lingfei Wu, Kenneth Forbus, Michael Witbrock

* updated to reflect conference submission, new experiment added 

  Access Paper or Ask Questions

Discrete Attacks and Submodular Optimization with Applications to Text Classification

Dec 01, 2018
Qi Lei, Lingfei Wu, Pin-Yu Chen, Alexandros G. Dimakis, Inderjit S. Dhillon, Michael Witbrock

  Access Paper or Ask Questions

Answering Science Exam Questions Using Query Rewriting with Background Knowledge

Sep 15, 2018
Ryan Musa, Xiaoyan Wang, Achille Fokoue, Nicholas Mattei, Maria Chang, Pavan Kapanipathi, Bassem Makni, Kartik Talamadupula, Michael Witbrock

* 9 pages, 5 figures, 6 tables 

  Access Paper or Ask Questions

Improving Natural Language Inference Using External Knowledge in the Science Questions Domain

Sep 15, 2018
Xiaoyan Wang, Pavan Kapanipathi, Ryan Musa, Mo Yu, Kartik Talamadupula, Ibrahim Abdelaziz, Maria Chang, Achille Fokoue, Bassem Makni, Nicholas Mattei, Michael Witbrock

* 9 pages, 3 figures, 5 tables 

  Access Paper or Ask Questions

Random Warping Series: A Random Features Method for Time-Series Embedding

Sep 14, 2018
Lingfei Wu, Ian En-Hsu Yen, Jinfeng Yi, Fangli Xu, Qi Lei, Michael Witbrock

* AIStats18, Oral Paper, Add code link for generating RWS 

  Access Paper or Ask Questions

A Systematic Classification of Knowledge, Reasoning, and Context within the ARC Dataset

Jun 01, 2018
Michael Boratko, Harshit Padigela, Divyendra Mikkilineni, Pritish Yuvraj, Rajarshi Das, Andrew McCallum, Maria Chang, Achille Fokoue-Nkoutche, Pavan Kapanipathi, Nicholas Mattei, Ryan Musa, Kartik Talamadupula, Michael Witbrock

* Presented at the Machine Reading for Question Answering (MRQA 2018) Workshop at the 55th Annual Meeting of the Association for Computational Linguistics (ACL 2018). 11 pages, 5 tables, 4 figures 

  Access Paper or Ask Questions

Graph2Seq: Graph to Sequence Learning with Attention-based Neural Networks

May 25, 2018
Kun Xu, Lingfei Wu, Zhiguo Wang, Yansong Feng, Michael Witbrock, Vadim Sheinin

* 16 pages, 3 figures, 4 tables 

  Access Paper or Ask Questions

D2KE: From Distance to Kernel and Embedding

May 25, 2018
Lingfei Wu, Ian En-Hsu Yen, Fangli Xu, Pradeep Ravikumar, Michael Witbrock

* 15 pages, 4 tables 

  Access Paper or Ask Questions

Image Super-Resolution via Dual-State Recurrent Networks

May 07, 2018
Wei Han, Shiyu Chang, Ding Liu, Mo Yu, Michael Witbrock, Thomas S. Huang

  Access Paper or Ask Questions

An Implementation of Back-Propagation Learning on GF11, a Large SIMD Parallel Computer

Jan 04, 2018
Michael Witbrock, Marco Zagha

* Witbrock, M., and Zagha, M. (1989). "An Implementation of Back-Propagation Learning on GF11, a Large SIMD Parallel Computer." School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, Technical Report CMU-CS-89-208 

  Access Paper or Ask Questions

Dilated Recurrent Neural Networks

Nov 02, 2017
Shiyu Chang, Yang Zhang, Wei Han, Mo Yu, Xiaoxiao Guo, Wei Tan, Xiaodong Cui, Michael Witbrock, Mark Hasegawa-Johnson, Thomas S. Huang

* Accepted by NIPS 2017 

  Access Paper or Ask Questions

Controlling Search in Very large Commonsense Knowledge Bases: A Machine Learning Approach

Mar 14, 2016
Abhishek Sharma, Michael Witbrock, Keith Goolsbey

* 6 pages 

  Access Paper or Ask Questions