AI BENCHMARK PROFILE

FLTEval

General AICoding & Software Engineering

A repository-level Lean 4 proof engineering benchmark that measures whether a model can complete formal proofs and correctly define new mathematical concepts inside realistic FLT project pull requests.

Released: Unknown
Readiness: Paper only
Primary field: General AI

Primary resources

Paper ↗

Benchmark Radar records only publicly supported details and links back to primary sources for verification.