Search...
Ctrl K
Models
Providers
Apps
Rankings
Playground
Models
Providers
Apps
Rankings
Playground
Search...
Ctrl K
Sign In
Sign In
FLTEval Pass@2 - Benchmark Leaderboard & Model Performance | AI Stats
FLTEval Pass@2
Overview
Overview
Type: numerical
Lean Reasoning
View benchmark source
Recorded Results
1
Average Score
26.30
Score Range
26.30 - 26.30
Leading Model
26.30 - Leanstral
Scores Over Time
Individual benchmark scores plotted by date.
Models Using This Benchmark
Organisation
Model
Reported
Top Score
Info
Self Reported
Source
Mistral
Leanstral
16 Mar 2026
26.30
Mistral Leanstral evaluation table (Leanstral pass@2)
Yes
Source