3551

LangPro: Natural Language Theorem Prover

Author : Lasha Abzianidze 
Publish : EMNLP
Date : 2017-09-09
Tag : 

3543

Function Assistant: A Tool for NL Querying of APIs

Author : Jonas Kuhn Kyle Richardson 
Publish : EMNLP
Date : 2017-09-09
Tag :