MiniF2F-ALF Benchmark

What is MiniF2F-ALF?

A released, contamination-sensitive benchmark of augmented Lean formal statements for evaluating formal theorem provers.

Released

2026-06-10

Evaluates

Language & Knowledge, Mathematics & Formal Science, cs.AI

Openness

unknown

Importer

Claire Radar

Review status

ai-reviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2606.12594

MiniF2F-ALF paper

• Paper https://arxiv.org/abs/2606.12594

Which sources cite MiniF2F-ALF?

• MiniF2F-ALF

Related Language & Knowledge, Mathematics & Formal Science, cs.AI benchmarks

• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• AARRI-Bench
• ABC-Bench
• ActiveSciBench
• AdaMem-Bench
• AdvancedMathBench
• AdversaBench