CombiBench

What is CombiBench?

We introduce CombiBench, a comprehensive benchmark comprising 100 combinatorial problems, each formalized in Lean4 and paired with its corresponding informal…

Released

2025-04-28

Evaluates

数学, Math, Combinatorics, Lean4, 科学智能, AI for Science, 数理能力, 不支持, Unsupported

Openness

unknown

Importer

OpenCompass Hub

Reported scores

0

Source provenance

• Original evidence https://hub.opencompass.org.cn/dataset-detail/CombiBench

CombiBench paper and code

• Paper https://arxiv.org/abs/2505.03171
• Code https://github.com/MoonshotAI/CombiBench

Which sources cite CombiBench?

• CombiBench

Related 数学, Math, Combinatorics, Lean4, 科学智能, AI for Science, 数理能力, 不支持, Unsupported benchmarks

• A-Bench
• A-OKVQA
• AbsPyramid
• ActionAtlas
• Ada-LEval
• AECBench
• AFQMC
• AgentBoard