Shiqi Shen

Identifiers

No identifiers captured yet.

Papers (6)

1. Quantitative Verification of Neural Networks And its Security Applications cs.CR · 2019 · author #2
2. Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution cs.PL · 2018 · author #1
3. THUMT: An Open Source Toolkit for Neural Machine Translation cs.CL · 2017 · author #3
4. Neural Headline Generation with Sentence-wise Optimization cs.CL · 2016 · author #2
5. Agreement-based Joint Training for Bidirectional Attention-based Neural Machine Translation cs.CL · 2015 · author #2
6. Minimum Risk Training for Neural Machine Translation cs.CL · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Maosong Sun 4 shared papers
• Yang Liu 3 shared papers
• Yong Cheng 3 shared papers
• Hua Wu 2 shared papers
• Prateek Saxena 2 shared papers
• Shweta Shinde 2 shared papers
• Wei He 2 shared papers
• Zhongjun He 2 shared papers
• Abhik Roychoudhury 1 shared papers
• Ayana 1 shared papers
• Huanbo Luan 1 shared papers
• Jiacheng Zhang 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Soundarya Ramesh 1 shared papers
• Teodora Baluta 1 shared papers
• Yanzhuo Ding 1 shared papers
• Yu Zhao 1 shared papers
• Zhiyuan Liu 1 shared papers