Co-occurring keywords
Papers
teamPN at TSAR-2022 Shared Task: Lexical Simplification using Multi-Level and Modular Approach
EMNLP 2022
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
EMNLP 2022
Deexaggeration
IJCAI 2022