GitHub repository: whyNLP/Conic10K
Primary language: Python
Description: Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.