llmboard.aiLeaderboard Center
Overall
Overall RankingOpen Models
Tools
Model DirectoryCompare Models
Capabilities
CodingReasoningMathKnowledgeInstruction Following
Price & Efficiency
Price & ValueCapability vs. PriceRuntime Performance
Modalities
Image GenerationVideo GenerationSpeech ModelsEmbeddings
Core Benchmarks
GPQAMMLU-ProAIME 2025SWE-Bench VerifiedMMLUHumanity's Last ExamLiveCodeBenchMATHHumanEvalMMMU-ProView all benchmarks
Methods
Scoring & Data
393 models668 benchmarks

Leaderboard Center

Overall RankingCodingCore BenchmarksPrice & ValueRuntime Performance

Modalities

All ModelsImage GenerationImage EditingVideo GenerationImage-to-VideoVideo EditingText-to-SpeechSpeech-to-TextEmbeddings

Data & Methods

Scoring MethodAll BenchmarksReasoningMath

Vendors

All VendorsOpenAIAnthropicGoogle
llmboard.aiCopyright 2026 llmboard.ai

reasoning benchmark

AutoLogi

AutoLogi is an automated method for synthesizing open-ended logic puzzles to evaluate reasoning abilities of Large Language Models. The benchmark addresses limitations of existing multiple-choice reasoning evaluations by featuring program-based verification and controllable difficulty levels. It includes 1,575 English and 883 Chinese puzzles, enabling more reliable evaluation that better distinguishes models' reasoning capabilities across languages.

Updated Aug 11, 2026

Models2
Model coverage2
MetricScore
EvidenceB

On this page

  • Ranking
  • Distribution
  • Highlights
  • About
  • FAQ

AutoLogi Ranking

Higher score ranks better on this benchmark.

2 rows
Columns

Show columns

01MAKimi K2 InstructMoonshot AI89.5%100.0%2CAug 11, 2026
02MAKimi K2-Instruct-0905Moonshot AI89.5%0.0%2CAug 11, 2026

AutoLogi Score Distribution

A closer view of the leading scores on this benchmark.

AutoLogi

AutoLogi Highlights

The leading models and scores on this benchmark.

Rank #1Kimi K2 Instruct89.5%Rank #2Kimi K2-Instruct-090589.5%

What is AutoLogi?

What AutoLogi measures and how its scores work.

AutoLogi is an automated method for synthesizing open-ended logic puzzles to evaluate reasoning abilities of Large Language Models. The benchmark addresses limitations of existing multiple-choice reasoning evaluations by featuring program-based verification and controllable difficulty levels. It includes 1,575 English and 883 Chinese puzzles, enabling more reliable evaluation that better distinguishes models' reasoning capabilities across languages.

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
autologi|llm-stats-current

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.5%.

What does AutoLogi measure?

AutoLogi is an automated method for synthesizing open-ended logic puzzles to evaluate reasoning abilities of Large Language Models. The benchmark addresses limitations of existing multiple-choice reasoning evaluations by featuring program-based verification and controllable difficulty levels. It includes 1,575 English and 883 Chinese puzzles, enabling more reliable evaluation that better distinguishes models' reasoning capabilities across languages.

Is a higher score better?

Yes. Higher values rank better for this benchmark.

How many models are compared?

2 model results are currently shown.

Does this benchmark affect the overall score?

No. This benchmark is shown for reference but does not contribute to the overall score.