Annotating by Proving using SemAnTE.

Assaf Toledo, Stavroula Alexandropoulou, Sophie Chesney, Robert Grimm, Pepijn Kokke, Benno Kruit, Kyriaki Neophytou, Antony Nguyen, Yoad Winter

Browse the full EACL paper archive.