Source-linked AI summary

modeLing: A Novel Dataset for Testing Linguistic Reasoning in Language Models

Nathan A. Chi, Teodor Malchev, Riley Kong, Ryan A. Chi, Lucas Huang, Ethan A. Chi, R. Thomas McCoy, Dragomir Radev

arXiv:2406.17038v1cs.CL

TL;DR

Language-model evaluations of multilingual few-shot reasoning can be confounded by training-data contamination. The paper introduces newly written Linguistics Olympiad-style puzzles in extremely low-resource natural languages and evaluates open-source and GPT models. GPT-4 and the largest open-source models perform strongly, while smaller models perform much worse, and category difficulty varies.

  • Problem

    Evaluating multilingual few-shot reasoning is difficult because apparent generalization may instead reflect memorization of languages or puzzles present in training data.

    Source: §1 · p. 1
  • Method

    The paper constructs 48 Rosetta stone puzzles covering 19 extremely low-resource languages and evaluates models under several prompting conditions.

    Source: §1 · p. 1, §3.1 · p. 2, §4 · p. 3
  • Results

    GPT-4 and the largest open-source models perform strongly, whereas smaller models perform much worse; possessive and semantic problems are harder than ordering problems.

    Source: §5 · pp. 3–4
  • Takeaways & Limitations

    MODELING provides a benchmark for measuring linguistic reasoning with reduced risk that success is explained by memorization of existing puzzles.

    Source: §1 · p. 2

    The authors are not native speakers of the included languages, so sentence accuracy cannot be guaranteed and the dataset should not be used as linguistic data.

    Source: Limitations · p. 5

Abstract

from arXiv · show

We introduce modeLing, a novel benchmark of Linguistics Olympiad-style puzzles which tests few-shot reasoning in AI systems. Solving these puzzles necessitates inferring aspects of a language's grammatical structure from a small number of examples. Such puzzles provide a natural testbed for language models, as they require compositional generalization and few-shot inductive reasoning. Consisting solely of new puzzles written specifically for this work, modeLing has no risk of appearing in the training data of existing AI systems: this ameliorates the risk of data leakage, a potential confounder for many prior evaluations of reasoning. Evaluating several large open source language models and GPT on our benchmark, we observe non-negligible accuracy, demonstrating few-shot emergent reasoning ability which cannot merely be attributed to shallow memorization. However, imperfect model performance suggests that modeLing can be used to measure further progress in linguistic reasoning.

1 Introduction

MODELING targets multilingual few-shot reasoning while reducing contamination concerns through newly written puzzles in extremely low-resource languages.

  • Evaluating multilingual few-shot reasoning is difficult because even low-resource languages may appear in large training corpora, confounding generalization with memorization.Source: §1 · p. 1
  • MODELING is a benchmark of Rosetta stone puzzles requiring models to infer rules from translated sentence pairs and apply them to new expressions.The puzzles test word meanings, morphology, and word order through compositional generalization.Source: §1 · p. 1, Figure 1 · p. 1
  • The benchmark covers diverse low-resource languages and phenomena including noun/adjective order and possessive syntax.Source: §1 · p. 1
  • All problems were written specifically for this work, reducing the risk that benchmark performance reflects memorization of publicly available puzzles.The authors report evidence that popular LLMs do not have data leakage on the benchmark.Source: §1 · p. 2

2 Related work

Prior evaluations of linguistic puzzles face limited coverage and potential data leakage, while synthetic languages may not capture natural-language variation.

  • Linguistics Olympiad-style puzzles originated as educational tools for introducing linguistic reasoning concepts and are proposed here for evaluating few-shot linguistic reasoning in AI systems.Source: §2 · p. 2
  • PuzzLing Machines uses online Linguistics Olympiad puzzles, creating a risk that language models encountered the evaluation items during training.There is also relatively little literature evaluating language models on linguistics puzzles.Source: §2 · p. 2
  • BIG-bench includes a constructed-language task, but its synthetic languages do not fully represent natural-language nuance or irregularity.Source: §2 · p. 2
  • MODELING addresses these limitations with newly written problems in natural, extremely low-resource languages and fine-grained categorizations by linguistic pattern and difficulty.The resulting dataset is intended to support closer analysis of linguistic reasoning with fewer confounding factors.Source: §2 · p. 2

3 Dataset

MODELING contains 48 puzzles and 272 questions across 19 extremely low-resource languages, spanning four linguistic problem types and a leakage diagnostic.

3.1 Task Overview

  • 48 puzzles based on 19 extremely low-resource languages yield 272 questions spanning noun-adjective order, word order, possession, and semantics.Problems were test-solved and rated for difficulty by two International Linguistics Olympiad medalists.Source: §3.1 · p. 2

3.2 Problem Design

  • The four task types test adjective-noun ordering, subject-verb-object ordering, possessive morphology, and mappings between target-language compounds and English meanings.Source: §3.1 · p. 2
  • The dataset contains 48 problems and 272 questions, with its problem types summarized in Table 1.Source: Table 1 · p. 2
  • Possession problems cover marking strategies, possessor placement, and possible distinctions between inherent and non-inherent possession.Source: §3.2 · p. 3
  • Semantics problems require aligning target-language expressions with English meanings, including cases where one source-language meaning corresponds to a compound expression.Source: §3.2 · p. 3

3.3 Data leakage

  • When evaluated without target/reference pairs, all models achieved 0% accuracy, suggesting that the extremely low-resource languages successfully avoid detectable data leakage.The diagnostic treats nonzero accuracy without examples as evidence that prior language knowledge may be present.Source: §3.3 · p. 3

4 Experiments

Experiments evaluate open-source and GPT models under several prompting conditions using exact-match accuracy tailored to the puzzles’ unique solutions.

  • The study evaluates open-source models from 7B to 70B-scale families alongside GPT-3.5 and GPT-4o.Source: §4 · p. 3
  • Models are tested with minimal, hand-tuned, basic chain-of-thought, and full chain-of-thought prompts.The full chain-of-thought prompt demonstrates step-by-step reasoning with a Spanish linguistics puzzle.Source: §4 · p. 3
  • Exact-match accuracy is used because each puzzle has one correct solution and BLEU-like metrics poorly distinguish word-order and subtle morphological differences.Source: §4 · p. 3

5 Results and Analysis

Large models perform strongly on MODELING, with difficulty patterns aligned to human judgments, while smaller models and harder linguistic categories remain challenging. Removing diacritics improves GPT-4 performance under minimal prompting, but the effect narrows with more complex prompts.

5 Results and Analysis

  • Strong performance comes from GPT-4 and the largest open-source models, while Gemma, Alpaca, and Llama-2 achieve accuracies closer to 0.Accuracies are roughly similar across prompting approaches.Source: §5 · p. 3
  • Model difficulty generally follows human difficulty ratings, leaving room to scale MODELING with harder problems.Even the hardest current problems are relatively easy by Linguistics Olympiad standards.Source: §5 · pp. 3–4
  • Possessive and semantic problems are harder for models than noun/adjective ordering and basic word order, matching human difficulty ratings of 5.0 and 4.54 versus 2.61 and 3.18.Source: §5 · p. 4

Impact of Orthography on Model Reasoning

  • GPT-4 gains 3.1% absolute accuracy on diacritic-free problems under the Minimal Prompt, with performance converging as prompts become more complex.The authors suggest this may reflect the prevalence of English or English-influenced text without diacritics in online training data.Source: Impact of Orthography on Model Reasoning · p. 4

6 Conclusion

The paper introduces MODELING as a dataset for evaluating analytical reasoning in unseen foreign languages. Its low-resource language coverage and extensibility support its proposed use as a durable reasoning evaluation approach.

  • MODELING is designed to evaluate LLMs’ capacity to reason analytically in unseen foreign languages.Source: §6 · p. 4
  • Using very rare languages and extending to more challenging cases gives MODELING strong potential as a durable approach for evaluating reasoning.Source: §6 · pp. 4–5

Limitations

The dataset has limitations concerning linguistic accuracy, possible pretraining contamination, and selection bias. Its results should not be generalized to the full range of linguistic diversity.

  • Because the authors are not native speakers, sentence accuracy is not guaranteed, so the dataset should not be used as linguistic data.The authors distinguish this limitation from the benchmark’s intended pattern-recognition evaluation.Source: Limitations · p. 5
  • Proprietary pretraining data prevents complete certainty that benchmark examples are absent, despite newly written problems and zero-shot evidence against leakage.Source: Limitations · p. 5
  • Hand selection and data availability may leave implicit language-selection biases, so results should not be interpreted as covering global linguistic diversity.Source: Limitations · p. 5

A.1 Canary String

The appendix identifies the minimal prompt as one of the prompting styles used with MODELING. It also presents sample orthographic conversions associated with the benchmark materials.

A.1 Canary String

  • Table 4 presents sample orthographic conversions used in the benchmark materials.Source: Table 4 · p. 8

B Prompts

C Data sources

The dataset is reserved exclusively for evaluation, with a canary string provided to discourage training use. Its difficulty materials include expert-rated distributions and prompt-specific figures, while a table identifies problem data sources.

C Data sources

  • The dataset is intended solely as an evaluation metric and includes a canary string to discourage model-training use.Source: C Data sources · p. 8

A.2 Difficulty

Loading 2406.17038v1…