Docs
Search
Ctrl K
Models
Playground
Compare
Providers
Apps
Rankings
Models
Playground
Compare
Providers
Apps
Rankings
Docs
Search
Ctrl K
Sign In
Sign In
FLTEval Pass@4 - Benchmark Leaderboard & Model Performance | AI Stats
FLTEval Pass@4
Overview
Overview
Type: numerical
Lean Reasoning
View benchmark source
Recorded Results
1
Average Score
29.30
Score Range
29.30 - 29.30
Leading Model
29.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
29.30
Mistral Leanstral evaluation table (Leanstral pass@4)
Yes
Source