Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Publications
12 results for Michael Witbrock
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
Word mover's embedding: From word2vec to document embedding
- Lingfei Wu
- Ian En Hsu Yen
- et al.
- 2018
- EMNLP 2018
An interface for annotating science questions
- Michael Boratko
- Harshit Padigela
- 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