Dyck Language (HELM)

HELM scenario that generates Dyck-n prefixes at run time and scores the unique closing-bracket suffix with exact match.

Also known as: Dyck, HELM Dyck

unassessed

This page is a discovery lead. Nobody has yet assessed it against the catalogue contract, so it carries no disposition. Absence of evidence here is not evidence of staleness.
Categoryreasoning
Subcategorygenerative Dyck-n closing-bracket completion
Page statusactive
Metricexact_match_indicator
Directionhigher_is_better
Unit%
Dataset size500
Dataset licenceApache-2.0
PublisherStanford Center for Research on Foundation Models (CRFM)

What it measures

HELM Dyck asks a model to finish a well-nested bracket prefix. The generator draws a Dyck-n string from a PCFG, then cuts it so the remaining suffix is only closing brackets. That suffix is unique for a given prefix. The task tests whether the model can track nested structure, not open-ended language. HELM's scenario can use one to four bracket pairs from (), [], {}, and <>. Completions are synthetic symbols, not natural English.

Task format

Completion. HELM prepends "Please complete the rest of the following Dyck sequences, making sure that the parentheses are closed properly." Inputs look like "( ( [". Outputs are space-separated closers. Default decoding: max_tokens 5, stop on newline, three in-context train items.

Models reporting this benchmark

No model card in ModelSpec reports this benchmark yet.

Data

This page as JSON · Edit on GitHub