Ankur Mali, Alexander G. Ororbia, Daniel Kifer, C. Lee Giles

Keywords Abstract Paper

Xin Lin, Zhenya Huang, Hongke Zhao and

Enhong Chen, Qi Liu, Hao Wang, Shijin Wang

Keywords Abstract Paper

Qinzhuo Wu, Qi Zhang, Jinlan Fu, Xuanjing Huang

Keywords Abstract Paper

natural tasks, math solving, generation, knowledge-aware representations

Daniel Selsam, Simon Hudon, Leonardo De Moura

Keywords Abstract Paper

functional programming, interactive theorem proving, Lean

Qingbao Huang, Mingyi Fu, Linzhang Mo and

Yi Cai, Jingyun Xu, Pijian Li, Qing Li, Ho-fung Leung

Keywords Abstract Paper

Kunlong Chen, Weidi Xu, Xingyi Cheng and

Zou Xiaochuan, Yuyu Zhang, Le Song, Taifeng Wang, Yuan Qi, Wei Chu

Keywords Abstract Paper

numerical reasoning, machine task, natural understanding, arithmetic computation

Chris Cummins, Zacharias Fisches, Tal Ben-Nun and

Torsten Hoefler, Michael O'Boyle, Hugh Leather

Keywords Abstract Paper

Applications, Hardware and Systems

Yining Hong, Qing Li, Ran Gong and

Daniel Ciao, Siyuan Huang, Song-Chun Zhu

Keywords Abstract Paper

Zheng Guo, Michael B. James, David Justo and

Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova

Keywords Abstract Paper

Abstract Interpretation, Type Systems, Program Synthesis

Rong Ye, Wenxian Shi, Hao Zhou and

Zhongyu Wei, Lei Li

Keywords Abstract Paper

Jin-Wen Wu, Fei Yin, Yan-Ming Zhang and

Xu-Yao Zhang, Cheng-Lin Liu

Keywords Abstract Paper

Heng Gong, Yawei Sun, Xiaocheng Feng and

Bing Qin, Wei Bi, Xiaojiang Liu, Ting Liu

Keywords Abstract Paper

Jipeng Zhang, Lei Wang, Roy Ka-Wei Lee and

Yi Bin, Yan Wang, Jie Shao, Ee-Peng Lim

Keywords Abstract Paper

Solving Problems, Math Problems, math problem, quantity representations

Zhenyi Wang, Xiaoyang Wang, Bang An and

Dong Yu, Changyou Chen

Keywords Abstract Paper

Faithful Generation, Text generation, table-to-text problem, Transformer-based framework

Jinghui Qin, Lihui Lin, Xiaodan Liang and

Rumin Zhang, Liang Lin

Keywords Abstract Paper

one-unknown mwps, universal, uet, semantically-aligned solver

Thanh Lam Hoang, Gabriele Picco, Yufang Hou and

Young-Suk Lee, Lam Nguyen, Dzung Phan, Vanessa Lopez, Ramon Fernandez Astudillo

Keywords Abstract Paper

deep learning, machine learning, graph learning, language

Shaowei Yao, Tianming Wang, Xiaojun Wan

Keywords Abstract Paper

Graph-to-Sequence Learning, text generation, AMR-to-text generation, syntax-based translation

Nitish Gupta, Kevin Lin, Dan Roth and

Sameer Singh, Matt Gardner

Keywords Abstract Paper

question answering, compositionality, neural module networks, multi-step reasoning, reading comprehension

Wenhu Chen, Hongmin Wang, Jianshu Chen and

Yunkai Zhang, Hong Wang, Shiyang Li, Xiyou Zhou, William Yang Wang

Keywords Abstract Paper

Fact Verification, Tabular Data, Symbolic Reasoning

Segwang Kim, Hyoungwook Nam, Joonyoung Kim, Kyomin Jung

Keywords Abstract Paper

bailin wang, Mirella Lapata, Ivan Titov

Keywords Abstract Paper

language

Jonathan Herzig, Pawel Krzysztof Nowak, Thomas Müller and

Francesco Piccinno, Julian Eisenschlos

Keywords Abstract Paper

Weakly Parsing, semantic task, question tables, SQA

Lukas Pfahler, Katharina Morik

Keywords Abstract Paper

graph convolutional neural networks, mathematics retrieval, self-supervised learning, search engine, embedding learning

Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto

Keywords Abstract Paper

Xi Ye, Qiaochu Chen, Xinyu Wang and

Isil Dillig, Greg Durrett

Keywords Abstract Paper

regex synthesis, semantic parser, program synthesizer, neural systems

Abhishek Panigrahi, Navin Goyal

Keywords Abstract Paper

deep learning, optimization

Jürgen Wedekind, Ronald M. Kaplan

Keywords Abstract Paper

recognition, emptiness, tractable computation, constraint-based formalisms

Nghi D. Q. Bui, Yijun Yu, Lingxiao Jiang

Keywords Abstract Paper

Xiaojing Yu, Anxiao Jiang

Keywords Abstract Paper

Baptiste Roziere, Marie-Anne Lachaux, Lowik Chanussot, Guillaume Lample

Keywords Abstract Paper

Liying Cheng, Dekun Wu, Lidong Bing and

Yan Zhang, Zhanming Jie, Wei Lu, Luo Si

Keywords Abstract Paper

knowledge-to-text generation, information loss, kg, graph-to-sequence models

Stephan Gocht, Jakob Nordström

Keywords Abstract Paper

Yanbin Zhao, Lu Chen, Zhi Chen and

Ruisheng Cao, Su Zhu, Kai Yu

Keywords Abstract Paper

Line Generation, AMR-to-text generation, graph-to-sequence task, graph-to-sequence modeling

Leif Andersen, Michael Ballantyne, Matthias Felleisen

Keywords Abstract Paper

Domain-Specific Language

Hongzhi Zhang, Yingyao Wang, Sirui Wang and

Xuezhi Cao, Fuzheng Zhang, Zhongyuan Wang

Keywords Abstract Paper

symbolic reasoning, pre-trained models, pre-trained transformers, table representation

Haopeng Zhang, Jiawei Zhang

Keywords Abstract Paper

text classification, natural processing, text task, graph techniques

Wenhu Chen, Jianshu Chen, Yu Su and

Zhiyu Chen, William Yang Wang

Keywords Abstract Paper

Logical Generation, neural NLG, surface-level realizations, logical inference

Manuel Mager, Ramón Fernandez Astudillo, Tahira Naseem and

Md Arafat Sultan, Young-Suk Lee, Radu Florian, Salim Roukos

Keywords Abstract Paper

AMR-to-Text Generation, GPT-too, Language-Model-First Approach, AMRs

Raeid Saqur, Karthik Narasimhan

Keywords Abstract Paper

Zhenwen Liang, Xiangliang Zhang

Keywords Abstract Paper

Machine Learning Applications, Applications of Supervised Learning, Question Answering