Publications

12 results for Michael Witbrock

Learning to Guide a Saturation-Based Theorem Prover
- - Ibrahim Abdelaziz
  - Maxwell Crouse
  - et al.
- 2021
- IEEE TPAMI
Graph enhanced cross-domain text-to-SQL generation
- - Siyu Huo
  - Tengfei Ma
  - et al.
- 2019
- TextGraphs/EMNLP-IJCNLP 2019
Improving natural language inference using external knowledge in the science questions domain
- - Xiaoyan Wang
  - Pavan Kapanipathi
  - et al.
- 2019
- AAAI 2019
A sequential set generation method for predicting set-valued outputs
- - Tian Gao
  - Jie Chen
  - et al.
- 2019
- AAAI 2019
Image Super-Resolution via Dual-State Recurrent Networks
- - Wei Han
  - Shiyu Chang
  - et al.
- 2018
- CVPR 2018
An interface for annotating science questions
- - Michael Boratko
  - Harshit Padigela
  - et al.
- 2018
- EMNLP 2018
Word mover's embedding: From word2vec to document embedding
- - Lingfei Wu
  - Ian En Hsu Yen
  - et al.
- 2018
- EMNLP 2018
Scalable reasoning infrastructure for large scale knowledge bases
- - Hima Karanam
  - Sumit Neelam
  - et al.
- 2018
- ISWC-Posters-Demos-Industry 2018
Random warping series: A random features method for time-series embedding
- - Lingfei Wu
  - Ian En Hsu Yen
  - et al.
- 2018
- AISTATS 2018
Dilated recurrent neural networks
- - Shiyu Chang
  - Yang Zhang
  - et al.
- 2017
- NeurIPS 2017