Amanpreet Singh

GLUE: A M ULTI -T ASK B ENCHMARK AND A NALYSIS P LATFORM FOR N ATURAL L ANGUAGE U NDERSTAND ING

Samuel R. Bowman, Omer Levy, Alex Wang, 2019 .

SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications

S. Smolka, E. Zadok, Niranjan Balasubramanian, 2022, LREC.