"Annotating Derivations: A New Evaluation Strategy and Dataset for Algebra ..."

Shyam Upadhyay, Ming-Wei Chang (2017)

Details and statistics

DOI: 10.18653/V1/E17-1047

access: open

type: Conference or Workshop Paper

metadata version: 2021-08-06

a service of  Schloss Dagstuhl - Leibniz Center for Informatics