no code implementations • 23 May 2022 • Rob Sumners, Cuong Chau
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022).
no code implementations • SEMEVAL 2013 • Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk, Raymond Mooney
Natural Language Inference Semantic Textual Similarity