reasoning benchmark
AutoLogi Leaderboard
AutoLogi is a benchmark of open-ended English and Chinese logic puzzles for evaluating the reasoning abilities of Large Language Models.
Updated Sep 5, 2026
Models2
Model coverage2
MetricScore
EvidenceB
AutoLogi Ranking
Higher score ranks better on this benchmark.
Sort by
Rank | Model | Score | Percentile | Participants | Evidence | Evaluated |
|---|
| Rank01 | ModelMA | Score89.50% | Percentile100.00% | Participants2 | EvidenceC | Evaluated |
| Rank02 | ModelMA | Score89.50% | Percentile0.00% | Participants2 | EvidenceC | Evaluated |
AutoLogi Highlights
The leading models and scores on this benchmark.
AutoLogi Score Distribution
A closer view of the leading scores on this benchmark.
The Top AI Models for AutoLogi
The first five results on this benchmark, with official price and output speed added where the model identity can be matched.
What is AutoLogi?
What AutoLogi measures and how its scores work.
AutoLogi is an automated method for synthesizing open-ended logic puzzles, with 1,575 English puzzles and 883 Chinese puzzles, using program-based verification and controllable difficulty levels.
It measures reasoning abilities on open-ended logic puzzles across English and Chinese using Score reported as a ratio.
Scores are shown in ratio. This benchmark is not independently verified and has an evidence level of B.
- Family
- AutoLogi
- Modality
- text
- Primary category
- reasoning
- Score direction
- higher
- LLMBoard eligible
- No
- Evaluation key
- overall
LLM Stats. Benchmark scores retain their original unit. Overall score eligibility is shown separately.
FAQ
Common questions about AutoLogi.
Which model scores highest on AutoLogi?
Kimi K2 Instruct is currently ranked first with 89.50%.
What are the top three models on AutoLogi?
The current leaders are Kimi K2 Instruct (89.50%) and Kimi K2-Instruct-0905 (89.50%).
Which AutoLogi model has the lowest official input price?
No matched official input price is currently available.
Which models are fastest among AutoLogi results?
No matched runtime record is currently available.
Does the highest score result prove overall model quality?
No. This benchmark measures one defined capability or task. The overall LLMBoard score uses a separate aggregation across eligible benchmark evidence.