Evaluating Genuine Reasoning in Large Language Models via Esoteric Programming Languages
π Paper: arxiv.org/abs/2603.09678 π Website: esolang-bench.vercel.app π¦ Dataset: huggingface.co/datasets/Lossfunk/Esolang-Bench
EsoLang-Bench is a benchmark that tests frontier LLMs on code generation in esoteric programming languages: Brainfuck, Befunge-98, Whitespace, Unlambda, and Shakespeare. These languages have 1,000xβ100,000x fewer public repositories than Python (based on GitHub search counts), exposing whether models can genuinely reason about novel computational paradigms or merely pattern-match from memorized code.
The best frontier model (GPT-5.2) achieves 3.8% on EsoLang-Bench vs. ~90% on equivalent Python tasks -- an 85 percentage point gap that reveals fundamental limitations in out-of-distribution code reasoning.
Basic (interpreters only):
pip install -e .Benchmark (includes OpenRouter API client):
pip install -e ".[benchmark]"Development (includes test dependencies):
pip install -e ".[benchmark,dev]"The benchmark dataset (80 problems Γ 4 difficulty tiers) is available on Hugging Face:
from datasets import load_dataset
ds = load_dataset("Lossfunk/Esolang-Bench") # all 80 problems
ds_easy = load_dataset("Lossfunk/Esolang-Bench", "easy") # 20 Easy
ds_med = load_dataset("Lossfunk/Esolang-Bench", "medium") # 20 Medium
ds_hard = load_dataset("Lossfunk/Esolang-Bench", "hard") # 20 Hard
ds_xhard = load_dataset("Lossfunk/Esolang-Bench", "extra_hard") # 20 Extra-Hard
# Each row: id, difficulty, title, description, test_cases (list of 6 {input, output} dicts)
print(ds["test"][0])# Brainfuck: print '$' (ASCII 36)
esolang-interpret -l brainfuck -c '++++++[>++++++<-]>.'
# Befunge-98: Hello World
esolang-interpret -l befunge98 -c '"!dlroW ,olleH">:#,_@'
# From file
esolang-interpret -l whitespace -f program.ws
# With stdin
echo "5" | esolang-interpret -l brainfuck -c ',.'from esolang_bench import get_interpreter
interp = get_interpreter("brainfuck")
result = interp.run("++++++[>++++++<-]>.", stdin="")
print(result.stdout) # "$"
print(result.error_type) # "ok"export OPENROUTER_API_KEY=sk-or-...
# Run a single evaluation
esolang-run --model gpt-5.2 --language brainfuck --regime self_scaffolding
# Filter by difficulty
esolang-run --model gpt-5.2 --language brainfuck --regime zero_shot --difficulty easy
# Limit problems for quick testing
ESOLANG_MAX_PROBLEMS=5 esolang-run -m gpt-5.2 -l brainfuck -r zero_shotEsoLang-Bench evaluates models under 5 prompting regimes plus a baseline:
| Regime | LLM Calls/Iter | Description |
|---|---|---|
zero_shot |
1 (single) | Direct code generation with language docs |
few_shot |
1 (single) | Zero-shot + 3 in-context learning examples |
self_scaffolding |
1 | Direct interpreter feedback, model self-diagnoses (best non-agentic) |
textual_self_scaffolding |
2 | Coder + critic pair; critic provides NL debugging guidance |
react |
3 | Planner + coder + critic pipeline (ReAct-style) |
All iterative regimes (self_scaffolding, textual_self_scaffolding, react) run up to 5 attempts per problem (configurable via environment variables).
Problems are organized into 4 difficulty tiers:
| Level | Flag | Description |
|---|---|---|
| Easy | --difficulty easy |
Basic I/O, simple loops |
| Medium | --difficulty medium |
String manipulation, conditionals |
| Hard | --difficulty hard |
Complex algorithms, nested structures |
| Extra Hard | --difficulty extra_hard |
Advanced data structures, multi-step reasoning |
Use --difficulty all (default) to run all problems.
| Variable | Default | Description |
|---|---|---|
OPENROUTER_API_KEY |
(required) | OpenRouter API key |
ESOLANG_MAX_PROBLEMS |
unlimited | Limit number of problems per run |
ESOLANG_RESULTS_DIR |
./results |
Output directory for result JSONL files |
MAX_ATTEMPTS_SELF_SCAFFOLDING |
5 |
Max iterations for self-scaffolding |
MAX_ATTEMPTS_TEXTUAL_SELF_SCAFFOLDING |
5 |
Max iterations for textual self-scaffolding |
MAX_ATTEMPTS_REACT |
5 |
Max iterations for ReAct pipeline |
MAX_TOKENS_{REGIME} |
8192 |
Max tokens for a regime (e.g., MAX_TOKENS_ZERO_SHOT) |
MAX_TOKENS_{MODEL}_{REGIME} |
-- | Per-model token override |
| Language | Paradigm | GitHub Repos | Best Accuracy |
|---|---|---|---|
| Brainfuck | Tape machine | ~5,000 | 13.8% (agentic) |
| Befunge-98 | 2D grid | ~2,000 | 11.2% |
| Whitespace | Invisible syntax | ~200 | 0% |
| Unlambda | Combinators | ~100 | 1.2% |
| Shakespeare | Theatrical | ~150 | 2.5% |
| Model | Best Strategy | Overall Accuracy |
|---|---|---|
| GPT-5.2 | Self-Scaffolding | 3.8% |
| O4-mini-high | Self-Scaffolding | 3.2% |
| Gemini 3 Pro | Self-Scaffolding | 2.8% |
| Qwen3-235B | Self-Scaffolding | 1.0% |
| Kimi K2 Thinking | Self-Scaffolding | 0.8% |
| Codex (Agentic) | -- | 13.8% |
| Claude Code | -- | 12.5% |
esolang_bench/
interpreters/ # Pure-Python interpreters for 5 esolangs
benchmarking/ # LLM evaluation harness
config.py # Models, regimes, difficulty levels, token limits
runner_utils.py # All 5 regime runners + CLI entry point
prompt_templates.py # Prompt builders for each regime
dataset_loader.py # Problem loading with difficulty filtering
metrics.py # Accuracy and attempt tracking
data/ # 80 problems x 4 difficulty tiers
docs/ # Language reference documentation
icl_examples/ # Few-shot examples per language
tests/ # Interpreter test suite
pip install -e ".[dev]"
pytest tests/ -v@article{sharma2026esolangbench,
title={{EsoLang-Bench}: Evaluating Genuine Reasoning in Large Language Models via Esoteric Programming Languages},
author={Sharma, Aman and Chopra, Paras},
journal={arXiv preprint arXiv:2603.09678},
year={2026},
eprint={2603.09678},
archivePrefix={arXiv},
primaryClass={cs.LG},
url={https://arxiv.org/abs/2603.09678}
}